PAPER INVENTORY
SOURCE DOCUMENT INDEX
Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
2604.28087v1
3 images
ArXiv Paper 2604.26347v1
2604.26347v1
0 images
Sequential KV Cache Compression via Probabilistic Language Tries: Beyond the Per-Vector Shannon Limit
2604.15356v1
0 images
COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery
2604.12172v1
0 images
ArXiv Paper 2604.11245v1
2604.11245v1
0 images
Entropy-Rate Selection for Partially Observed Processes
2604.10752v1
0 images
ArXiv Paper 2604.05890v1
2604.05890v1
0 images
Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State
2604.03997v1
0 images
ITQ3_S: High-Fidelity 3-bit LLM Inference via Interleaved Ternary Quantization with Rotation-Domain Smoothing
2603.27914v2
0 images
Evaluating Pretrained General-Purpose Audio Representations for Music Genre Classification
2603.13871v1
6 images
Causal Concept Graphs in LLM Latent Space for Stepwise Reasoning
2603.10377v1
0 images
EXPLORE-Bench: Egocentric Scene Prediction with Long-Horizon Reasoning
2603.09731v1
0 images
MORE-R1: Guiding LVLM for Multimodal Object-Entity Relation Extraction via Stepwise Reasoning with Reinforcement Learning
2603.09478v1
0 images
A finite element continuous data assimilation framework for a Navier--Stokes--Cahn--Hilliard system
2603.08765v1
0 images
ArXiv Paper 2603.08759v1
2603.08759v1
2 images
DiverXplorer: Stock Image Exploration via Diversity Adjustment for Graphic Design
2603.08584v1
0 images
OrdinalBench: A Benchmark Dataset for Diagnosing Generalization Limits in Ordinal Number Understanding of Vision-Language Models
2603.07786v1
0 images
A Novel Multi-Agent Architecture to Reduce Hallucinations of Large Language Models in Multi-Step Structural Modeling
2603.07728v1
0 images
Seeing the Reasoning: How LLM Rationales Influence User Trust and Decision-Making in Factual Verification Tasks
2603.07306v1
0 images
On Multi-Step Theorem Prediction via Non-Parametric Structural Priors
2603.04852v1
0 images
Agent Memory Below the Prompt: Persistent Q4 KV Cache for Multi-Agent LLM Inference on Edge Devices
2603.04428v1
0 images
Additive Multi-Step Markov Chains and the Curse of Dimensionality in Large Language Models
2603.04412v1
0 images
Semantic Bridging Domains: Pseudo-Source as Test-Time Connector
2603.03844v1
0 images
Local Relaxation Fast Poisson Methods on Hierarchical Meshes
2603.02763v1
0 images
Higher-order interactions at scientific conferences influence team formation
2603.02571v1
0 images
MC-Search: Evaluating and Enhancing Multimodal Agentic Search with Structured Long Reasoning Chains
2603.00873v1
0 images
Keyframe-Guided Structured Rewards for Reinforcement Learning in Long-Horizon Laboratory Robotics
2603.00719v1
0 images
Proof-of-Perception: Certified Tool-Using Multimodal Reasoning with Compositional Conformal Guarantees
2603.00324v1
0 images
Stepwise Penalization for Length-Efficient Chain-of-Thought Reasoning
2603.00296v1
0 images
StaTS: Spectral Trajectory Schedule Learning for Adaptive Time Series Forecasting with Frequency Guided Denoiser
2603.00037v1
0 images
Trajectory of Probabilities, Probability on Trajectories, and the Stochastic-Quantum Correspondence
2602.23491v1
0 images
ThinkOmni: Lifting Textual Reasoning to Omni-modal Scenarios via Guidance Decoding
2602.23306v1
0 images
Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
2602.12463v1
0 images
Neuro-Symbolic Synergy for Interactive World Modeling
2602.10480v3
0 images
SWE Context Bench: A Benchmark for Context Learning in Coding
2602.08316v1
1 image
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
2602.07455v1
0 images
ArXiv Paper 2602.02635v1
2602.02635v1
0 images
Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
2602.02584v1
0 images
Provenance Verification of AI-Generated Images via a Perceptual Hash Registry Anchored on Blockchain
2602.02412v1
0 images
REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
2601.20784v1
13 images
LLM-42: Enabling Determinism in LLM Inference with Verified Speculation
2601.17768v2
22 images
Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
2601.17188v1
0 images
ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems
2601.01982v1
0 images
Decomposing LLM Self-Correction: The Accuracy-Correction Paradox and Error Depth Hypothesis
2601.00828v1
0 images
Graph-Based Exploration for ARC-AGI-3 Interactive Reasoning Tasks
2512.24156v1
8 images
Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals
2512.24045v2
0 images
ArXiv Paper 2512.23944v1
2512.23944v1
0 images
On $GL(1|1)$ Higgs bundles
2512.23909v1
0 images
Powers of Hamiltonian cycles in randomly augmented Pósa-Seymour graphs
2512.23886v1
0 images
Multigraphs and Time Ordered Isserlis-Wick formulae
2512.23845v2
0 images
ArXiv Paper 2512.23830v1
2512.23830v1
0 images
A new kind of automorphic form and a proof of the essential transformation laws
2512.23823v1
0 images
Stochastic Galerkin Method and Hierarchical Preconditioning for PDE-constrained Optimization
2512.23804v2
0 images
A Discrete Logarithm Construction for Orthogonal Double Covers of the Complete Graph by Hamiltonian Paths
2512.23802v1
0 images
Linear Preservers of Real Matrix Classes Admitting a Real Logarithm
2512.23735v1
0 images
Solvability of the Bézout Equation for Banach Algebra-Valued $H^\infty$ Functions on the Polydisk
2512.23733v2
0 images
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
2512.23511v1
6 images
State over Tokens: Characterizing the Role of Reasoning Tokens
2512.12777v1
0 images
How Do LLMs Fail In Agentic Scenarios? A Qualitative Analysis of Success and Failure Scenarios of Various LLMs in Agentic Simulations
2512.07497v2
0 images
Modal Logical Neural Networks
2512.03491v2
10 images
Phase Transitions as Emergent Geometric Phenomena: A Deterministic Entropy Evolution Law
2512.02242v1
3 images
REVEAL: Reasoning-enhanced Forensic Evidence Analysis for Explainable AI-generated Image Detection
2511.23158v1
5 images
Hybrid Neuro-Symbolic Models for Ethical AI in Risk-Sensitive Domains
2511.17644v1
0 images
Mathematics: the Rise of the Machines
2511.17203v1
0 images
Reasoning: From Reflection to Solution
2511.11712v1
0 images
ArXiv Paper 2511.01815v1
2511.01815v1
13 images
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
2510.25975v2
3 images
Fortytwo: Swarm Inference with Peer-Ranked Consensus
2510.24801v1
0 images
Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
2510.24798v1
0 images
XQuant: Achieving Ultra-Low Bit KV Cache Quantization with Cross-Layer Compression
2510.11236v1
4 images
SynthID-Image: Image watermarking at internet scale
2510.09263v1
2 images
Trust in Transparency: How Explainable AI Shapes User Perceptions
2510.04968v1
0 images
ArXiv Paper 2510.01346v1
2510.01346v1
0 images
GRPO is Secretly a Process Reward Model
2509.21154v2
6 images
seqBench: A Tunable Benchmark to Quantify Sequential Reasoning Limits of LLMs
2509.16866v1
15 images
EG-MLA: Embedding-Gated Multi-head Latent Attention for Scalable and Efficient LLMs
2509.16686v1
7 images
Modelling Analogies and Analogical Reasoning: Connecting Cognitive Science Theory and NLP Research
2509.09381v2
0 images
Efficient Code Embeddings from Code Generation Models
2508.21290v1
0 images
Bridging the Analog and the Probabilistic Computing Divide: Configuring Oscillator Ising Machines as P-bit Engines
2508.15234v2
11 images
SupraTok: Cross-Boundary Tokenization for Enhanced Language Model Performance
2508.11857v2
0 images
Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
2508.08322v1
0 images
GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
2508.06716v1
2 images
GM-PRM: A Generative Multimodal Process Reward Model for Multimodal Mathematical Reasoning
2508.04088v2
12 images
ArXiv Paper 2508.01191v1
2508.01191v1
13 images
Evaluation and Benchmarking of LLM Agents: A Survey
2507.21504v1
1 image
Self-Supervised Inductive Logic Programming
2507.16405v2
0 images
Defining neurosymbolic AI
2507.11127v1
0 images
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
2507.09751v2
0 images
Leveraging Large Language Models for Tacit Knowledge Discovery in Organizational Contexts
2507.03811v1
5 images
Agent-as-Tool: A Study on the Hierarchical Decision Making with Reinforcement Learning
2507.01489v1
4 images
Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
2506.17331v1
0 images
Universal Music Representations? Evaluating Foundation Models on World Music Corpora
2506.17055v1
3 images
Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
2506.16015v1
0 images
LeanExplore: A search engine for Lean 4 declarations
2506.11085v1
0 images
Abstraction-Based Proof Production in Formal Verification of Neural Networks
2506.09455v1
0 images
Latent Multi-Head Attention for Small Language Models
2506.09342v2
2 images
A Proposal to Extend the Common Model of Cognition with Metacognition
2506.07807v2
3 images
Hermes: High-Performance Homomorphically Encrypted Vector Databases
2506.03308v2
0 images
Un-considering Contextual Information: Assessing LLMs' Understanding of Indexical Elements
2506.01089v1
5 images
Revisiting Group Relative Policy Optimization: Insights into On-Policy and Off-Policy Training
2505.22257v2
7 images
Don't Overthink it. Preferring Shorter Thinking Chains for Improved LLM Reasoning
2505.17813v2
86 images
Not Minds, but Signs: Reframing LLMs through Semiotics
2505.17080v2
0 images
Multi-Domain Causal Discovery in Bijective Causal Models
2504.21261v1
3 images
The Philosophic Turn for AI Agents: Replacing centralized digital rhetoric with decentralized truth-seeking
2504.18601v1
0 images
A functional limit theorem for a dynamical system with an observable maximised on a Cantor set
2504.12534v2
2 images
Bypassing LLM Guardrails: An Empirical Analysis of Evasion Attacks against Prompt Injection and Jailbreak Detection Systems
2504.11168v3
6 images
A Survey on Hypothesis Generation for Scientific Discovery in the Era of Large Language Models
2504.05496v1
0 images
SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
2504.02654v1
8 images
AI-Newton: A Concept-Driven Physical Law Discovery System without Prior Physical Knowledge
2504.01538v2
3 images
ArXiv Paper 2503.21295v1
2503.21295v1
2 images
Uncertainty Quantification and Confidence Calibration in Large Language Models: A Survey
2503.15850v2
0 images
X-EcoMLA: Upcycling Pre-Trained Attention into MLA for Efficient and Extreme KV Compression
2503.11132v4
3 images
TPU-Gen: LLM-Driven Custom Tensor Processing Unit Generator
2503.05951v1
9 images
Tutorial Proposal: Speculative Decoding for Efficient LLM Inference
2503.00491v1
0 images
Exploring RWKV for Sentence Embeddings: Layer-wise Analysis and Baseline Comparison for Semantic Similarity
2502.14620v1
0 images
Agentic Deep Graph Reasoning Yields Self-Organizing Knowledge Networks
2502.13025v1
24 images
An atomic decomposition of one-dimensional metric currents without boundary
2502.09871v1
0 images
Game Theory Meets Large Language Models: A Systematic Survey with Taxonomy and New Frontiers
2502.09053v2
0 images
30+ Years of Source Separation Research: Achievements and Future Challenges
2501.11837v1
0 images
Applications of extrapolations to wavelet characterization of various function spaces and extension operators
2501.09912v2
0 images
Visual Description
2501.07301v2
12 images
AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling
2412.15084v2
5 images
A Survey of RWKV
2412.14847v2
2 images
Enaction for QBists
2411.04230v2
0 images
Can Large Language Models Invent Algorithms to Improve Themselves?: Algorithm Discovery for Recursive Self-Improvement through Reinforcement Learning
2410.15639v5
0 images
ArXiv Paper 2410.15236v1
2410.15236v1
0 images
ArXiv Paper 2410.14728v1
2410.14728v1
3 images
Surveying the Rust Verification Landscape
2410.01981v1
0 images
ArXiv Paper 2409.08987v1
2409.08987v1
0 images
Planning to avoid ambiguous states through Gaussian approximations to non-linear sensors in active inference agents
2409.01974v2
7 images
On the completeness of the space $\mathcal{O}_C$
2408.11944v2
0 images
Abductive Reasoning in a Paraconsistent Framework
2408.07287v2
0 images
Virtue Ethics For Ethically Tunable Robotic Assistants
2407.16361v1
5 images
LogicVista: Multimodal LLM Logical Reasoning Benchmark in Visual Contexts
2407.04973v1
29 images
Self-Cognition in Large Language Models: An Exploratory Study
2407.01505v1
9 images
RISC-V for HPC: Where we are and where we need to go
2406.12398v1
0 images
Neural logic programs and neural nets
2406.11888v1
0 images
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
2406.09757v2
0 images
ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search
2406.03816v3
7 images
The Impossibility of Fair LLMs
2406.03198v2
0 images
Towards Dialogues for Joint Human-AI Reasoning and Value Alignment
2405.18073v1
0 images
Euclidean mirrors and first-order changepoints in network time series
2405.11111v3
0 images
ArXiv Paper 2404.11066v1
2404.11066v1
0 images
Construction of low regularity strong solutions to the viscous surface wave equations
2404.08448v1
0 images
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
2404.01677v2
0 images
On the Connection between the Repeated X-ray Quasi-periodic Oscillation and Warm Absorber in the Active Galaxy RE~J1034+396
2404.01377v1
0 images
LLM as a Mastermind: A Survey of Strategic Reasoning with Large Language Models
2404.01230v1
0 images
Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight
2403.18170v1
0 images
The Sample Complexity of Simple Binary Hypothesis Testing
2403.16981v2
0 images
A Unified and General Framework for Continual Learning
2403.13249v1
0 images
Lifted Causal Inference in Relational Domains
2403.10184v1
0 images
ArXiv Paper 2403.04017v1
2403.04017v1
0 images
Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
2403.00685v2
0 images
Equational theories of idempotent semifields
2402.09876v2
0 images
Universal Gradient Methods for Stochastic Convex Optimization
2402.03210v2
0 images
ArXiv Paper 2402.00342v1
2402.00342v1
15 images
The Case for Co-Designing Model Architectures with Hardware
2401.14489v2
53 images
Online Handbook of Argumentation for AI: Volume 4
2401.09444v1
0 images
Beyond Fairness: Alternative Moral Dimensions for Assessing Algorithms and Designing Systems
2312.12559v1
0 images
CausalCite: A Causal Formulation of Paper Citations
2311.02790v3
9 images
Levels of AGI for Operationalizing Progress on the Path to AGI
2311.02462v5
0 images
Kiki or Bouba? Sound Symbolism in Vision-and-Language Models
2310.16781v3
0 images
Constructing disjoint Steiner trees in Sierpiński graphs
2310.16463v3
7 images
Query-Efficient Algorithm to Find all Nash Equilibria in a Two-Player Zero-Sum Matrix Game
2310.16236v3
0 images
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
2310.06770v3
0 images
Large Language Models as Analogical Reasoners
2310.01714v3
3 images
A Survey on Large Language Model based Autonomous Agents
2308.11432v7
5 images
ArXiv Paper 2307.05632v1
2307.05632v1
0 images
ArXiv Paper 2306.14308v1
2306.14308v1
0 images
On the Security Risks of Knowledge Graph Reasoning
2305.02383v2
14 images
The Internal State of an LLM Knows When It's Lying
2304.13734v2
0 images
MedAlpaca -- An Open-Source Collection of Medical Conversational AI Models and Training Data
2304.08247v3
0 images
How well do SOTA legal reasoning models support abductive reasoning?
2304.06912v2
1 image
NeuroBench: A Framework for Benchmarking Neuromorphic Computing Algorithms and Systems
2304.04640v5
15 images
Aristotle's Second-Order Logic and Natural Deduction
2303.03269v18
0 images
Three Lagrangians for the complete-active space coupled-cluster method
2205.08792v2
0 images
Reasoning with fuzzy and uncertain evidence using epistemic random fuzzy sets: general framework and practical models
2202.08081v4
0 images
Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective
2202.07412v1
0 images
Popper's falsification and corroboration from the statistical perspectives
2007.00238v1
0 images
Jukebox: A Generative Model for Music
2005.00341v1
20 images
Pyro: Deep Universal Probabilistic Programming
1810.09538v1
0 images
Prototypical Networks for Few-shot Learning
1703.05175v2
4 images
Unknown Title
1610.05749v2
0 images
Unknown Title
1610.00132v1
0 images
Unknown Title
1505.02463v2
2 images
Unknown Title
1407.6246v1
0 images
Unknown Title
1405.3322v5
3 images
Unknown Title
1312.6930v2
0 images
Unknown Title
1307.3435v1
0 images
Unknown Title
1201.3496v1
8 images
Unknown Title
1108.4296v1
0 images
On the Precision Attainable with Various Floating-Point Number Systems ∗
1004.3374v1
0 images
Unknown Title
0911.2993v2
0 images