PAPER INVENTORY

Unknown Title

2602.04006v1

Unknown Title

2602.03338v1

Unknown Title

2602.00307v1

Unknown Title

2601.22881v1

Unknown Title

2601.10527v2

Unknown Title

2601.03027v2

ArXiv Paper 2512.20237v1

2512.20237v1

Unknown Title

2512.11545v1

Unknown Title

2512.00307v2

Unknown Title

2511.10037v2

Unknown Title

2511.02844v2

Unknown Title

2510.18395v1

Unknown Title

2510.13999v1

Unknown Title

2510.09033v1

Unknown Title

2510.03902v1

Unknown Title

2509.26626v1

Unknown Title

2509.18710v2

Unknown Title

2509.09677v2

Multimodal Prompt Injection Attacks: Risks and Defenses for Modern LLMs

2509.05883v1

Unknown Title

2509.03518v1

Unknown Title

2509.03047v1

Unknown Title

2507.01376v1

Unknown Title

2506.04569v1

Unknown Title

2506.03691v2

Unknown Title

2505.17826v3

Unknown Title

2505.13763v2

Unknown Title

2504.14520v1

Unknown Title

2503.04404v2

Unknown Title

2502.12086v3

Unknown Title

2502.06806v4

Unknown Title

2502.02533v2

Unknown Title

2502.01618v5

Unknown Title

2502.01341v2

Unknown Title

2501.11613v7

Unknown Title

2501.09244v1

Unknown Title

2412.19437v2

A Survey on Uncertainty Quantification of Large Language Models: Taxonomy, Open Research Challenges, and Future Directions

2412.05563v2

Unknown Title

2411.08561v5

Unknown Title

2410.13999v2

Unknown Title

2410.04343v2

Unknown Title

2408.03314v1

Unknown Title

2407.08608v2

Unknown Title

2407.01489v2

Unknown Title

2406.13840v1

Unknown Title

2406.11741v4

Unknown Title

2406.02393v1

Unknown Title

2405.17430v2

Unknown Title

2405.14591v1

Unknown Title

2404.02258v1

Unknown Title

2403.11322v5

Unknown Title

2403.03507v2

Unknown Title

2402.11173v2

Unknown Title

2402.09267v2

Unknown Title

2402.04615v3

INSIDE: LLMs' Internal States Retain the Power of Hallucination Detection

2402.03744v2

Unknown Title

2402.01825v2

Unknown Title

2401.12345v3

Unknown Title

2401.10774v3

Unknown Title

2401.10020v3

Unknown Title

2401.08417v4

Unknown Title

2401.06066v1

Unknown Title

2312.10997v5

Unknown Title

2312.07104v2

Unknown Title

2312.05607v3

Unknown Title

2312.02959v7

Unknown Title

2311.00502v2

Unknown Title

2310.10683v2

Unknown Title

2310.04406v3

A Survey on Large Language Model based Autonomous Agents

2308.11432v7

Unknown Title

2306.00978v5

Unknown Title

2305.18290v3

Unified Fairness for Weak Memory Verification

2305.17605v2

Unknown Title

2305.10601v2

Unknown Title

2303.11366v4

Unknown Title

2106.09685v2

Unknown Title

1904.07272v8

Causal Concept Graphs in LLM Latent Space for Stepwise Reasoning

2603.10377v1

EXPLORE-Bench: Egocentric Scene Prediction with Long-Horizon Reasoning

2603.09731v1

MORE-R1: Guiding LVLM for Multimodal Object-Entity Relation Extraction via Stepwise Reasoning with Reinforcement Learning

2603.09478v1

A finite element continuous data assimilation framework for a Navier--Stokes--Cahn--Hilliard system

2603.08765v1

DiverXplorer: Stock Image Exploration via Diversity Adjustment for Graphic Design

2603.08584v1

OrdinalBench: A Benchmark Dataset for Diagnosing Generalization Limits in Ordinal Number Understanding of Vision-Language Models

2603.07786v1

A Novel Multi-Agent Architecture to Reduce Hallucinations of Large Language Models in Multi-Step Structural Modeling

2603.07728v1

Seeing the Reasoning: How LLM Rationales Influence User Trust and Decision-Making in Factual Verification Tasks

2603.07306v1

On Multi-Step Theorem Prediction via Non-Parametric Structural Priors

2603.04852v1

Additive Multi-Step Markov Chains and the Curse of Dimensionality in Large Language Models

2603.04412v1

Semantic Bridging Domains: Pseudo-Source as Test-Time Connector

2603.03844v1

Local Relaxation Fast Poisson Methods on Hierarchical Meshes

2603.02763v1

Higher-order interactions at scientific conferences influence team formation

2603.02571v1

MC-Search: Evaluating and Enhancing Multimodal Agentic Search with Structured Long Reasoning Chains

2603.00873v1

Keyframe-Guided Structured Rewards for Reinforcement Learning in Long-Horizon Laboratory Robotics

2603.00719v1

Proof-of-Perception: Certified Tool-Using Multimodal Reasoning with Compositional Conformal Guarantees

2603.00324v1

Stepwise Penalization for Length-Efficient Chain-of-Thought Reasoning

2603.00296v1

StaTS: Spectral Trajectory Schedule Learning for Adaptive Time Series Forecasting with Frequency Guided Denoiser

2603.00037v1

Trajectory of Probabilities, Probability on Trajectories, and the Stochastic-Quantum Correspondence

2602.23491v1

ThinkOmni: Lifting Textual Reasoning to Omni-modal Scenarios via Guidance Decoding

2602.23306v1

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof

2602.12463v1

Neuro-Symbolic Synergy for Interactive World Modeling

2602.10480v3

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

2602.07455v1

ArXiv Paper 2602.02635v1

2602.02635v1

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation

2602.02584v1

Provenance Verification of AI-Generated Images via a Perceptual Hash Registry Anchored on Blockchain

2602.02412v1

2601.22881

Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction

2601.17188v1

Quantum automated theorem proving

2601.07953v1

ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems

2601.01982v1

Decomposing LLM Self-Correction: The Accuracy-Correction Paradox and Error Depth Hypothesis

2601.00828v1

Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals

2512.24045v2

ArXiv Paper 2512.23944v1

2512.23944v1

On $GL(1|1)$ Higgs bundles

2512.23909v1

Powers of Hamiltonian cycles in randomly augmented Pósa-Seymour graphs

2512.23886v1

Multigraphs and Time Ordered Isserlis-Wick formulae

2512.23845v2

ArXiv Paper 2512.23830v1

2512.23830v1

A new kind of automorphic form and a proof of the essential transformation laws

2512.23823v1

Stochastic Galerkin Method and Hierarchical Preconditioning for PDE-constrained Optimization

2512.23804v2

A Discrete Logarithm Construction for Orthogonal Double Covers of the Complete Graph by Hamiltonian Paths

2512.23802v1

Linear Preservers of Real Matrix Classes Admitting a Real Logarithm

2512.23735v1

Solvability of the Bézout Equation for Banach Algebra-Valued $H^\infty$ Functions on the Polydisk

2512.23733v2

State over Tokens: Characterizing the Role of Reasoning Tokens

2512.12777v1

How Do LLMs Fail In Agentic Scenarios? A Qualitative Analysis of Success and Failure Scenarios of Various LLMs in Agentic Simulations

2512.07497v2

2512.06777v1

Hybrid Neuro-Symbolic Models for Ethical AI in Risk-Sensitive Domains

2511.17644v1

Mathematics: the Rise of the Machines

2511.17203v1

Reasoning: From Reflection to Solution

2511.11712v1

Fortytwo: Swarm Inference with Peer-Ranked Consensus

2510.24801v1

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny

2510.24798v1

Trust in Transparency: How Explainable AI Shapes User Perceptions

2510.04968v1

2510.03902

ArXiv Paper 2510.01346v1

2510.01346v1

Modelling Analogies and Analogical Reasoning: Connecting Cognitive Science Theory and NLP Research

2509.09381v2

Efficient Code Embeddings from Code Generation Models

2508.21290v1

Memory-R1: Enhancing Large Language Model Agents to Manage and Utilize Memories via Reinforcement Learning

2508.19828v5

SupraTok: Cross-Boundary Tokenization for Enhanced Language Model Performance

2508.11857v2

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code

2508.08322v1

2508.00190v1

Self-Supervised Inductive Logic Programming

2507.16405v2

Defining neurosymbolic AI

2507.11127v1

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

2507.09751v2

2507.01376

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems

2506.17331v1

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning

2506.16015v1

LeanExplore: A search engine for Lean 4 declarations

2506.11085v1

Abstraction-Based Proof Production in Formal Verification of Neural Networks

2506.09455v1

2506.04569

2506.03691

Hermes: High-Performance Homomorphically Encrypted Vector Databases

2506.03308v2

Not Minds, but Signs: Reframing LLMs through Semiotics

2505.17080v2

2505.13763

The Philosophic Turn for AI Agents: Replacing centralized digital rhetoric with decentralized truth-seeking

2504.18601v1

2504.14520

A Survey on Hypothesis Generation for Scientific Discovery in the Era of Large Language Models

2504.05496v1

Uncertainty Quantification and Confidence Calibration in Large Language Models: A Survey

2503.15850v2

2503.12161v1

Tutorial Proposal: Speculative Decoding for Efficient LLM Inference

2503.00491v1

2502.12086

An atomic decomposition of one-dimensional metric currents without boundary

2502.09871v1

Game Theory Meets Large Language Models: A Systematic Survey with Taxonomy and New Frontiers

2502.09053v2

2502.02533

2501.11613

Applications of extrapolations to wavelet characterization of various function spaces and extension operators

2501.09912v2

2501.03249v1

Enaction for QBists

2411.04230v2

Can Large Language Models Invent Algorithms to Improve Themselves?: Algorithm Discovery for Recursive Self-Improvement through Reinforcement Learning

2410.15639v5

ArXiv Paper 2410.15236v1

2410.15236v1

2410.12509v1

Surveying the Rust Verification Landscape

2410.01981v1

On the completeness of the space $\mathcal{O}_C$

2408.11944v2

Abductive Reasoning in a Paraconsistent Framework

2408.07287v2

RISC-V for HPC: Where we are and where we need to go

2406.12398v1

Neural logic programs and neural nets

2406.11888v1

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages

2406.09757v2

The Impossibility of Fair LLMs

2406.03198v2

2406.02393

Towards Dialogues for Joint Human-AI Reasoning and Value Alignment

2405.18073v1

SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

2405.15793v3

Euclidean mirrors and first-order changepoints in network time series

2405.11111v3

Construction of low regularity strong solutions to the viscous surface wave equations

2404.08448v1

OSWORLD: Benchmarking Multimodal Agents for Open-Ended Tasks in Real Computer Environments

2404.07972v2

2404.02258

Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation

2404.01677v2

On the Connection between the Repeated X-ray Quasi-periodic Oscillation and Warm Absorber in the Active Galaxy RE~J1034+396

2404.01377v1

LLM as a Mastermind: A Survey of Strategic Reasoning with Large Language Models

2404.01230v1

Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight

2403.18170v1

The Sample Complexity of Simple Binary Hypothesis Testing

2403.16981v2

A Unified and General Framework for Continual Learning

2403.13249v1

Lifted Causal Inference in Relational Domains

2403.10184v1

ArXiv Paper 2403.04017v1

2403.04017v1

2403.03507

Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation

2403.00685v2

2402.11173

Equational theories of idempotent semifields

2402.09876v2

Universal Gradient Methods for Stochastic Convex Optimization

2402.03210v2

Online Handbook of Argumentation for AI: Volume 4

2401.09444v1

2401.06066

Beyond Fairness: Alternative Moral Dimensions for Assessing Algorithms and Designing Systems

2312.12559v1

2312.10997

2311.10215v1

Levels of AGI for Operationalizing Progress on the Path to AGI

2311.02462v5

Kiki or Bouba? Sound Symbolism in Vision-and-Language Models

2310.16781v3

Query-Efficient Algorithm to Find all Nash Equilibria in a Two-Player Zero-Sum Matrix Game

2310.16236v3

2310.10683

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

2310.06770v3

2310.04406

ArXiv Paper 2307.05632v1

2307.05632v1

ArXiv Paper 2306.14308v1

2306.14308v1

2305.18290

2305.10601

The Internal State of an LLM Knows When It's Lying

2304.13734v2

MedAlpaca -- An Open-Source Collection of Medical Conversational AI Models and Training Data

2304.08247v3

Aristotle's Second-Order Logic and Natural Deduction

2303.03269v18

2302.08702v1

2209.03388v12

Three Lagrangians for the complete-active space coupled-cluster method

2205.08792v2

Reasoning with fuzzy and uncertain evidence using epistemic random fuzzy sets: general framework and practical models

2202.08081v4

Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective

2202.07412v1

2111.07555v1

2108.13121v1

2106.15515v4

2104.14512v2

2009.14795v2

Popper's falsification and corroboration from the statistical perspectives

2007.00238v1

1811.04790v1

1811.00902v2

Pyro: Deep Universal Probabilistic Programming

1810.09538v1

1806.10322v1

1803.08885v1

1801.00862v3

1712.03847v1

1701.02388v2

1611.09263v2

1610.05749v2

1610.00132v1

1407.6246v1

1312.6930v2

1307.3435v1

1108.4296v1

On the Precision Attainable with Various Floating-Point Number Systems ∗

1004.3374v1

0911.2993v2