PAPER INVENTORY

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

SRFed: Mitigating Poisoning Attacks in Privacy-Preserving Federated Learning with Heterogeneous Data

2602.16480v1

jina-embeddings-v5-text: Task-Targeted Embedding Distillation

2602.15547v1

Experiential Reinforcement Learning

2602.13949v1

Differentiable Rule Induction from Raw Sequence Inputs

2602.13583v1

Think Deep, Not Just Long: Measuring LLM Reasoning Effort via Deep-Thinking Tokens

2602.13517v1

Nanbeige4.1-3B: A Small General Model that Reasons, Aligns, and Acts

2602.13367v1

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

2602.12463v1

Think like a Scientist: Physics-guided LLM Agent for Equation Discovery

2602.12259v1

Jailbreaking Leaves a Trace: Understanding and Detecting Jailbreak Attacks from Internal Representations of Large Language Models

2602.11495v1

Finding the Cracks: Improving LLMs Reasoning with Paraphrastic Probing and Consistency Verification

2602.11361v1

Statistical Learning Analysis of Physics-Informed Neural Networks

2602.11097v1

FeatureBench: Benchmarking Agentic Coding for Complex Feature Development

2602.10975v1

Neuro-symbolic Action Masking for Deep Reinforcement Learning

2602.10598v1

LLM-Based Scientific Equation Discovery via Physics-Informed Token-Regularized Policy Optimization

2602.10576v1

Neuro-Symbolic Synergy for Interactive World Modeling

2602.10480v3

Latent Thoughts Tuning: Bridging Context and Reasoning with Fused Information in Latent Tokens

2602.10229v1

Internalizing Meta-Experience into Memory for Guided Reinforcement Learning in Large Language Models

2602.10224v1

Towards Autonomous Mathematics Research

2602.10177v2

Immersion in the GitHub Universe: Scaling Coding Agents to Mastery

2602.09892v1

SWE-Bench Mobile: Can Large Language Model Agents Develop Industry-Level Mobile Applications?

2602.09540v1

ArXiv Paper 2602.08332v1

2602.08332v1

SWE Context Bench: A Benchmark for Context Learning in Coding

2602.08316v1

Learning to Self-Verify Makes Language Models Better Reasoners

2602.07594v1

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

2602.07455v1

Large Language Model Reasoning Failures

2602.06176v1

Quantifying Edge Intelligence: Inference-Time Scaling Formalisms for Heterogeneous Computing

2602.06057v2

HugRAG: Hierarchical Causal Knowledge Graph Design for RAG

2602.05143v1

Unknown Title

2602.04006v1

Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation

2602.03950v2

Self-Verification Dilemma: Experience-Driven Suppression of Overused Checking in LLM Reasoning

2602.03485v1

Unknown Title

2602.03338v1

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

SWE-Universe: Scale Real-World Verifiable Environments to Millions

2602.02361v1

Kimi K2.5: Visual Agentic Intelligence

2602.02276v1

Unknown Title

2602.00307v1

Localizing and Correcting Errors for LLM-based Planners

2602.00276v1

PPoGA: Predictive Plan-on-Graph with Action for Knowledge Graph Question Answering

2602.00007v1

Unknown Title

2601.22881v1

Toward Pluralizing Reflection in HCI through Daoism

2601.22831v1

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

2601.22642v1

2601.21464v1

2601.21268v1

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence

2601.20784v1

Visual Generation Unlocks Human-Like Reasoning through Multimodal World Models

2601.19834v1

Subword-Based Comparative Linguistics across 242 Languages Using Wikipedia Glottosets

2601.18791v1

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic

2601.18595v1

Dynamic Thinking-Token Selection for Efficient Reasoning in Large Reasoning Models

2601.18383v1

LLM-42: Enabling Determinism in LLM Inference with Verified Speculation

2601.17768v2

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models

2601.17426v1

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

2601.17188v1

ArXiv Paper 2601.15160v1

2601.15160v1

Trust Me on This: A User Study of Trustworthiness for RAG Responses

2601.14460v1

The Orchestration of Multi-Agent Systems: Architectures, Protocols, and Enterprise Adoption

2601.13671v1

Stop Taking Tokenizers for Granted: They Are Core Design Decisions in Large Language Models

2601.13260v2

AI for Mathematics: Progress, Challenges, and Prospects

2601.13209v4

Double-Calibration: Towards Trustworthy LLMs via Calibrating Knowledge and Reasoning Confidence

2601.11956v1

AEMA: Verifiable Evaluation Framework for Trustworthy and Controlled Agentic LLM Systems

2601.11903v1

2601.11840v2

Unknown Title

2601.10527v2

Distribution-Aligned Sequence Distillation for Superior Long-CoT Reasoning

2601.09088v1

Emergent Coordination in Multi-Agent Systems via Pressure Fields and Temporal Decay

2601.08129v3

Quantum automated theorem proving

2601.07953v1

Structure First, Reason Next: Enhancing a Large Language Model using Knowledge Graph for Numerical Reasoning in Financial Documents

2601.07754v1

Two Pathways to Truthfulness: On the Intrinsic Encoding of LLM Hallucinations

2601.07422v1

LSRIF: Logic-Structured Reinforcement Learning for Instruction Following

2601.06431v2

Toward Safe and Responsible AI Agents: A Three-Pillar Model for Transparency, Accountability, and Trustworthiness

2601.06223v1

ArXiv Paper 2601.05264v1

2601.05264v1

Interpreting Transformers Through Attention Head Intervention

2601.04398v3

DiffCoT: Diffusion-styled Chain-of-Thought Reasoning in LLMs

2601.03559v1

Unknown Title

2601.03027v2

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

2601.01982v1

Tractatus de Conscientia: A Tractatus-Style Sketch Toward a Modern, Physically Operational Theory of Consciousness

2601.01070v1

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

2601.00828v1

AMAP Agentic Planning Technical Report

2512.24957v2

Group Deliberation Oriented Multi-Agent Conversational Model for Complex Reasoning

2512.24613v1

Reinforcement Learning-Augmented LLM Agents for Collaborative Decision Making and Performance Optimization

2512.24609v1

From Building Blocks to Planning: Multi-Step Spatial Reasoning in LLMs with Reinforcement Learning

2512.24532v1

Constrained Language Model Policy Optimization via Risk-aware Stepwise Alignment

2512.24263v1

Graph-Based Exploration for ARC-AGI-3 Interactive Reasoning Tasks

2512.24156v1

LoongFlow: Directed Evolutionary Search via a Cognitive Plan-Execute-Summarize Paradigm

2512.24077v1

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

2512.24045v2

ROAD: Reflective Optimization via Automated Debugging for Zero-Shot Agent Alignment

2512.24040v1

SPARK: Search Personalization via Agent-Driven Retrieval and Knowledge-sharing

2512.24008v2

ArXiv Paper 2512.23944v1

2512.23944v1

Stable envelopes for critical loci

2512.23929v1

On $GL(1|1)$ Higgs bundles

2512.23909v1

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

2512.23886v1

CASCADE: Cumulative Agentic Skill Creation through Autonomous Development and Evolution

2512.23880v2

Multigraphs and Time Ordered Isserlis-Wick formulae

2512.23845v2

ArXiv Paper 2512.23830v1

2512.23830v1

ArXiv Paper 2512.23829v1

2512.23829v1

Hoffman-London graphs: When paths minimize $H$-colorings among trees

2512.23828v1

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

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving

2512.23511v1

Geometric Structural Knowledge Graph Foundation Model

2512.22931v1

Unknown Title

2512.21711v1

ArXiv Paper 2512.20237v1

2512.20237v1

State over Tokens: Characterizing the Role of Reasoning Tokens

2512.12777v1

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives

2512.12620v3

AI Transparency Atlas: Framework, Scoring, and Real-Time Model Card Evaluation Pipeline

2512.12443v1

Unknown Title

2512.11545v1

ArXiv Paper 2512.10978v1

2512.10978v1

Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving

2512.10739v2

Advancing Mathematical Research via Human-AI Interactive Theorem Proving

2512.09443v2

Encoder-Free Knowledge-Graph Reasoning with LLMs via Hyperdimensional Path Retrieval

2512.09369v2

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

2512.07497v2

NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models

2512.07218v1

2512.06777v1

Statistical physics for artificial neural networks

2512.06518v1

Nanbeige4-3B Technical Report: Exploring the Frontier of Small Language Models

2512.06266v1

Sparse Attention Post-Training for Mechanistic Interpretability

2512.05865v2

Jina-VLM: Small Multilingual Vision Language Model

2512.04032v2

MemVerse: Multimodal Memory for Lifelong Learning Agents

2512.03627v1

Modal Logical Neural Networks

2512.03491v2

Phase Transitions as Emergent Geometric Phenomena: A Deterministic Entropy Evolution Law

2512.02242v1

Unknown Title

2512.00307v2

REVEAL: Reasoning-enhanced Forensic Evidence Analysis for Explainable AI-generated Image Detection

2511.23158v1

Language-conditioned world model improves policy generalization by reading environmental descriptions

2511.22904v1

RPM-MCTS: Knowledge-Retrieval as Process Reward Model with Monte Carlo Tree Search for Code Generation

2511.19895v2

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

2511.17644v1

Mathematics: the Rise of the Machines

2511.17203v1

ArXiv Paper 2511.16198v1

2511.16198v1

Agent0: Unleashing Self-Evolving Agents from Zero Data via Tool-Integrated Reasoning

2511.16043v1

Neuro-Logic Lifelong Learning

2511.12793v1

Reasoning: From Reflection to Solution

2511.11712v1

AI Agent-Driven Framework for Automated Product Knowledge Graph Construction in E-Commerce

2511.11017v1

Unknown Title

2511.10037v2

Self-Correcting Large Language Models: Generation vs. Multiple Choice

2511.09381v1

Self-Evaluating LLMs for Multi-Step Tasks: Stepwise Confidence Estimation for Failure Detection

2511.07364v1

Increasing AI Explainability by LLM Driven Standard Processes

2511.07083v1

A Multi-Agent System for Semantic Mapping of Relational Data to Knowledge Graphs

2511.06455v1

The Causal Round Trip: Generating Authentic Counterfactuals by Eliminating Information Loss

2511.05236v1

Where Do LLMs Still Struggle? An In-Depth Analysis of Code Generation Benchmarks

2511.04355v1

From Hume to Jaynes: Induction as the Logic of Plausible Reasoning

2511.02881v1

2511.02864v3

Unknown Title

2511.02844v2

IG-Pruning: Input-Guided Block Pruning for Large Language Models

2511.02213v1

ArXiv Paper 2511.01581v1

2511.01581v1

The Ouroboros of Benchmarking: Reasoning Evaluation in an Era of Saturation

2511.01365v1

Adaptive Data Flywheel: Applying MAPE Control Loops to AI Agent Improvement

2510.27051v1

2510.26692v2

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory

2510.26380v1

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation

2510.25975v2

Scaling Latent Reasoning via Looped Language Models

2510.25741v4

Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI

2510.25497v3

Fortytwo: Swarm Inference with Peer-Ranked Consensus

2510.24801v1

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

2510.24798v1

2510.24616v3

Optimized Loudspeaker Panning for Adaptive Sound-Field Correction and Non-stationary Listening Areas

2510.23937v1

Advancing Symbolic Integration in Large Language Models: Beyond Conventional Neurosymbolic AI

2510.21425v1

ArXiv Paper 2510.21293v1

2510.21293v1

Plan Then Retrieve: Reinforcement Learning-Guided Complex Reasoning over Knowledge Graphs

2510.20691v3

LLM-empowered knowledge graph construction: A survey

2510.20345v1

Limits of PRM-Guided Tree Search for Mathematical Reasoning with LLMs

2510.20272v1

Unknown Title

2510.18395v1

World-in-World: World Models in a Closed-Loop World

2510.18135v1

ATA: A Neuro-Symbolic Approach to Implement Autonomous and Trustworthy Agents

2510.16381v1

EvolveR: Self-Evolving LLM Agents through an Experience-Driven Lifecycle

2510.16079v1

Can LLMs Correct Themselves? A Benchmark of Self-Correction in LLMs

2510.16062v2

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts

2510.14538v1

Unknown Title

2510.13999v1

The Mechanistic Emergence of Symbol Grounding in Language Models

2510.13796v2

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics

2510.12787v3

ArXiv Paper 2510.12474v1

2510.12474v1

Self-Verifying Reflection Helps Transformers with CoT Reasoning

2510.12157v1

ADEPT: Continual Pretraining via Adaptive Expansion and Dynamic Decoupled Tuning

2510.10071v1

SwarmSys: Decentralized Swarm-Inspired Agents for Scalable and Adaptive Reasoning

2510.10047v1

2510.09782v1

SynthID-Image: Image watermarking at internet scale

2510.09263v1

Unknown Title

2510.09033v1

Unknown Title

2510.08565v1

Training-Free Group Relative Policy Optimization

2510.08191v1

2510.08049v2

Generative World Modelling for Humanoids: 1X World Model Challenge Technical Report

2510.07092v1

In-the-Flow Agentic System Optimization for Effective Planning and Tool Use

2510.05592v1

Trust in Transparency: How Explainable AI Shapes User Perceptions

2510.04968v1

ArXiv Paper 2510.04404v1

2510.04404v1

Unknown Title

2510.03902v1

ArXiv Paper 2510.02827v1

2510.02827v1

Programming RISC-V accelerators via Fortran

2510.02170v1

TAIBOM: Bringing Trustworthiness to AI-Enabled Systems

2510.02169v1

ArXiv Paper 2510.01346v1

2510.01346v1

Meaningless Tokens, Meaningful Gains: How Activation Shifts Enhance LLM Reasoning

2510.01032v1

Unknown Title

2509.26626v1

A Formal Comparison Between Chain of Thought and Latent Thought

2509.25239v2

jina-reranker-v3: Last but Not Late Interaction for Listwise Document Reranking

2509.25085v4

G-reasoner: Foundation Models for Unified Reasoning over Graph-structured Knowledge

2509.24276v1

Group-Relative REINFORCE Is Secretly an Off-Policy Algorithm: Demystifying Some Myths About GRPO and Its Friends

2509.24203v1

Bayesian Mixture-of-Experts: Towards Making LLMs Know What They Don't Know

2509.23830v1

Kimi-Dev: Agentless Training as Skill Prior for SWE-Agents

2509.23045v3

Towards Transparent AI: A Survey on Explainable Language Models

2509.21631v1

What Do LLM Agents Do When Left Alone? Evidence of Spontaneous Meta-Cognitive Patterns

2509.21224v1

GRPO is Secretly a Process Reward Model

2509.21154v2

Unknown Title

2509.18710v2

Breaking Token Into Concepts: Exploring Extreme Compression in Token Representation Via Compositional Shared Semantics

2509.17737v2

seqBench: A Tunable Benchmark to Quantify Sequential Reasoning Limits of LLMs

2509.16866v1

Language Modeling with Learned Meta-Tokens

2509.16278v1

ArXiv Paper 2509.14285v1

2509.14285v1

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean

2509.14274v1

ArXiv Paper 2509.10929v1

2509.10929v1

Unknown Title

2509.09677v2

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

2509.09381v2

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis

2509.07122v1

Multimodal Prompt Injection Attacks: Risks and Defenses for Modern LLMs

2509.05883v1

DeepTRACE: Auditing Deep Research AI Systems for Tracking Reliability Across Citations and Evidence

2509.04499v1

Unknown Title

2509.03518v1

Unknown Title

2509.03047v1

Do Retrieval Augmented Language Models Know When They Don't Know?

2509.01476v3

Efficient Code Embeddings from Code Generation Models

2508.21290v1

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops

2508.20922v1

Robustness Assessment and Enhancement of Text Watermarking for Google's SynthID

2508.20228v2

Diffusion Language Models Know the Answer Before Decoding

2508.19982v3

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

2508.19828v5

Mutual Information Surprise: Rethinking Unexpectedness in Autonomous Systems

2508.17403v2

Bridging the Analog and the Probabilistic Computing Divide: Configuring Oscillator Ising Machines as P-bit Engines

2508.15234v2

Unknown Title

2508.15202v1

Your Reward Function for RL is Your Best PRM for Search: Unifying RL and Search-Based TTS

2508.14313v3

RynnEC: Bringing MLLMs into Embodied World

2508.14160v2

Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models

2508.13678v1

G$^2$RPO-A: Guided Group Relative Policy Optimization with Adaptive Guidance

2508.13023v1

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

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning

2508.06716v1

Intuition emerges in Maximum Caliber models at criticality

2508.06477v2

A Graph-Based Framework for Exploring Mathematical Patterns in Physics: A Proof of Concept

2508.05724v2

GM-PRM: A Generative Multimodal Process Reward Model for Multimodal Mathematical Reasoning

2508.04088v2

Hallucination to Truth: A Review of Fact-Checking and Factuality Evaluation in Large Language Models

2508.03860v2

ArXiv Paper 2508.03465v1

2508.03465v1

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

2508.03366v1

On the Theory and Practice of GRPO: A Trajectory-Corrected Approach with Fast Convergence

2508.02833v2

ArXiv Paper 2508.01191v1

2508.01191v1

2508.00190v1

Transparent AI: The Case for Interpretability and Explainability

2507.23535v1

Evaluation and Benchmarking of LLM Agents: A Survey

2507.21504v1

A Survey of Self-Evolving Agents: What, When, How, and Where to Evolve on the Path to Artificial Super Intelligence

2507.21046v4

Kimi K2: Open Agentic Intelligence

2507.20534v2

Binaural Localization Model for Speech in Noise

2507.20027v1

Unknown Title

2507.18581v1

Self-Supervised Inductive Logic Programming

2507.16405v2

FlowForge: Guiding the Creation of Multi-agent Workflows with Design Space Visualization as a Thinking Scaffold

2507.15559v1

ClarifAI: Enhancing AI Interpretability and Transparency through Case-Based Reasoning and Ontology-Driven Approach for Improved Decision-Making

2507.11733v1

Defining neurosymbolic AI

2507.11127v1

Model-Grounded Symbolic Artificial Intelligence Systems Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems

2507.09854v1

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

2507.09751v2

2507.08906v1

Abductive Computational Systems: Creative Abduction and Future Directions

2507.08264v1

A statistical physics framework for optimal learning

2507.07907v1

A Survey on Latent Reasoning

2507.06203v2

Cascade: Token-Sharded Private LLM Inference

2507.05228v1

VERITAS: Verification and Explanation of Realness in Images for Transparency in AI Systems

2507.05146v1

Leveraging Large Language Models for Tacit Knowledge Discovery in Organizational Contexts

2507.03811v1

Towards Unified Neurosymbolic Reasoning on Knowledge Graphs

2507.03697v1

Self-Correction Bench: Uncovering and Addressing the Self-Correction Blind Spot in Large Language Models

2507.02778v2

Agent-as-Tool: A Study on the Hierarchical Decision Making with Reinforcement Learning

2507.01489v1

Unknown Title

2507.01376v1

Can Large Language Models Develop Strategic Reasoning? Post-training Insights from Learning Chess

2507.00726v3

Lost at the Beginning of Reasoning

2506.22058v3

Towards Transparent AI: A Survey on Explainable Large Language Models

2506.21812v1

A Finite-State Symbolic Automaton Model for the Collatz Map and Its Convergence Properties

2506.21728v2

jina-embeddings-v4: Universal Embeddings for Multimodal Multilingual Retrieval

2506.18902v3

ReasonFlux-PRM: Trajectory-Aware PRMs for Long Chain-of-Thought Reasoning in LLMs

2506.18896v2

Taming the Untamed: Graph-Based Knowledge Retrieval and Reasoning for MLLMs to Conquer the Unknown

2506.17589v3

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

NeuroCoreX: An Open-Source FPGA-Based Spiking Neural Network Emulator with On-Chip Learning

2506.14138v1

AgentOrchestra: Orchestrating Multi-Agent Intelligence with the Tool-Environment-Agent(TEA) Protocol

2506.12508v5

2506.11405v1

2506.11304v1

LeanExplore: A search engine for Lean 4 declarations

2506.11085v1

StepProof: Step-by-step verification of natural language mathematical proofs

2506.10558v2

ArXiv Paper 2506.09532v1

2506.09532v1

Abstraction-Based Proof Production in Formal Verification of Neural Networks

2506.09455v1

2506.09433v1

SwS: Self-aware Weakness-driven Problem Synthesis in Reinforcement Learning for LLM Reasoning

2506.08989v1

A Proposal to Extend the Common Model of Cognition with Metacognition

2506.07807v2

From Calibration to Collaboration: LLM Uncertainty Quantification Should Be More Human-Centered

2506.07461v1

FairPFN: A Tabular Foundation Model for Causal Fairness

2506.07049v1

2506.06923v1

2506.05109v1

LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning

2506.04821v1

Unknown Title

2506.04569v1

ArXiv Paper 2506.04374v1

2506.04374v1

Unknown Title

2506.03691v2

Hermes: High-Performance Homomorphically Encrypted Vector Databases

2506.03308v2

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification

2506.03227v2

Improving compiler support for SIMD offload using Arm Streaming SVE

2506.02233v1

Un-considering Contextual Information: Assessing LLMs' Understanding of Indexical Elements

2506.01089v1

WorldGym: World Model as An Environment for Policy Evaluation

2506.00613v3

Statistical mechanics of extensive-width Bayesian neural networks near interpolation

2505.24849v1

Experience-based Knowledge Correction for Robust Planning in Minecraft

2505.24157v3

Ghidorah: Fast LLM Inference on Edge with Speculative Decoding and Hetero-Core Parallelism

2505.23219v2

Revisiting Group Relative Policy Optimization: Insights into On-Policy and Off-Policy Training

2505.22257v2

Reason-Align-Respond: Aligning LLM Reasoning with Knowledge Graphs for KGQA

2505.20971v1

Pretraining Language Models to Ponder in Continuous Space

2505.20674v2

Reasoning in Neurosymbolic AI

2505.20313v1

DreamPRM: Domain-Reweighted Process Reward Model for Multimodal Reasoning

2505.20241v3

Unknown Title

2505.17826v3

Don't Overthink it. Preferring Shorter Thinking Chains for Improved LLM Reasoning

2505.17813v2

Benchmarking Recommendation, Classification, and Tracing Based on Hugging Face Knowledge Graph

2505.17507v1

From Reasoning to Generalization: Knowledge-Augmented LLMs for ARC Benchmark

2505.17482v1

Not Minds, but Signs: Reframing LLMs through Semiotics

2505.17080v2

ArXiv Paper 2505.16782v1

2505.16782v1

Lean-SMT: An SMT tactic for discharging proof goals in Lean

2505.15796v1

Soft Thinking: Unlocking the Reasoning Potential of LLMs in Continuous Concept Space

2505.15778v1

Let's Take Esoteric Programming Languages Seriously

2505.15327v2

2505.14674v1

ArXiv Paper 2505.14313v1

2505.14313v1

Hypothesis on the Functional Advantages of the Selection-Broadcast Cycle Structure: Global Workspace Theory and Dealing with a Real-Time World

2505.13969v1

Unknown Title

2505.13763v2

Causal Head Gating: A Framework for Interpreting Roles of Attention Heads in Transformers

2505.13737v2

Follow the Path: Reasoning over Knowledge Graph Paths to Improve LLM Factuality

2505.11140v2

2505.07005v1

Symbolic Rule Extraction from Attention-Guided Sparse Representations in Vision Transformers

2505.06745v1

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

2505.05758v5

Chain-of-Thought Tokens are Computer Program Variables

2505.04955v1

Red Teaming the Mind of the Machine: A Systematic Evaluation of Prompt Injection and Jailbreak Vulnerabilities in LLMs

2505.04806v2

Cognitio Emergens: Agency, Dimensions, and Dynamics in Human-AI Knowledge Co-Creation

2505.03105v2

ArXiv Paper 2505.02521v1

2505.02521v1

RM-R1: Reward Modeling as Reasoning

2505.02387v3

LLM-Guided Probabilistic Program Induction for POMDP Model Estimation

2505.02216v2

Agentic Reasoning and Tool Integration for LLMs via Reinforcement Learning

2505.01441v1

Unknown Title

2505.01100v1

Multi-Domain Causal Discovery in Bijective Causal Models

2504.21261v1

AI Awareness

2504.20084v2

On Bitcoin Price Prediction

2504.18982v1

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

2504.18601v1

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification

2504.17017v2

Process Reward Models That Think

2504.16828v5

Post-Quantum Homomorphic Encryption: A Case for Code-Based Alternatives

2504.16091v1

Navigating the State of Cognitive Flow: Context-Aware AI Interventions for Effective Reasoning Support

2504.16021v1

From Human Memory to AI Memory: A Survey on Memory Mechanisms in the Era of LLMs

2504.15965v2

A Self-Improving Coding Agent

2504.15228v2

2504.15125v3

Unknown Title

2504.14520v1

A functional limit theorem for a dynamical system with an observable maximised on a Cantor set

2504.12534v2

Counterfactual Fairness Evaluation of Machine Learning Models on Educational Datasets

2504.11504v2

Bypassing LLM Guardrails: An Empirical Analysis of Evasion Attacks against Prompt Injection and Jailbreak Detection Systems

2504.11168v3

Efficient Process Reward Model Training via Active Learning

2504.10559v1

Graph-based Approaches and Functionalities in Retrieval-Augmented Generation: A Comprehensive Survey

2504.10499v2

A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems

2504.09037v3

Knowledge Graph-extended Retrieval Augmented Generation for Question Answering

2504.08893v1

2504.07951v4

What the HellaSwag? On the Validity of Common-Sense Reasoning Benchmarks

2504.07825v1

Kimi-VL Technical Report

2504.07491v3

2504.07128v3

Reasoning Towards Fairness: Mitigating Bias in Language Models through Reasoning-Guided Fine-Tuning

2504.05632v3

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

2504.05496v1

Enhancing Trust in AI Marketplaces: Evaluating On-Chain Verification of Personalized AI models using zk-SNARKs

2504.04794v1

2504.03553v2

Affordable AI Assistants with Knowledge Graph of Thoughts

2504.02670v6

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning

2504.02654v1

AI-Newton: A Concept-Driven Physical Law Discovery System without Prior Physical Knowledge

2504.01538v2

2504.00891v2

LLMs for Explainable AI: A Comprehensive Survey

2504.00125v1

Factored Agents: Decoupling In-Context Learning and Memorization for Robust Tool Use

2503.22931v2

2503.22166v1

Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models

2503.21380v2

Investigating the Duality of Interpretability and Explainability in Machine Learning

2503.21356v1

ArXiv Paper 2503.21295v1

2503.21295v1

1.4 Million Open-Source Distilled Reasoning Dataset to Empower Large Language Model Training

2503.19633v1

A Survey of Large Language Model Agents for Question Answering

2503.19213v1

Fairness-Driven LLM-based Causal Discovery with Active Learning and Dynamic Scoring

2503.17569v1

Bayesian Teaching Enables Probabilistic Reasoning in Large Language Models

2503.17523v3

Fewer Than 1% of Explainable AI Papers Validate Explainability with Humans

2503.16507v1

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

2503.15850v2

Reasoning Effort and Problem Complexity: A Scaling Analysis in LLMs

2503.15113v1

FACTS&EVIDENCE: An Interactive Tool for Transparent Fine-Grained Factual Verification of Machine-Generated Text

2503.14797v1

Towards Hierarchical Multi-Step Reward Models for Enhanced Reasoning in Large Language Models

2503.13551v4

AI Agents: Evolution, Architecture, and Real-World Applications

2503.12687v1

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification

2503.12511v3

2503.12161v1

GKG-LLM: A Unified Framework for Generalized Knowledge Graph Construction

2503.11227v2

VisualPRM: An Effective Process Reward Model for Multimodal Reasoning

2503.10291v1

Learning richness modulates equality reasoning in neural networks

2503.09781v3

Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models

2503.09567v5

2503.08699v1

Chain-of-Thought Reasoning In The Wild Is Not Always Faithful

2503.08679v4

Human Cognition Inspired RAG with Knowledge Graph for Complex Problem Solving

2503.06567v2

TPU-Gen: LLM-Driven Custom Tensor Processing Unit Generator

2503.05951v1

MastermindEval: A Simple But Scalable Reasoning Benchmark

2503.05891v4

Encrypted Vector Similarity Computations Using Partially Homomorphic Encryption: Applications and Performance Analysis

2503.05850v1

2503.05516v1

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs

2503.04772v1

Unknown Title

2503.04404v2

Multi-Agent Systems Powered by Large Language Models: Applications in Swarm Intelligence

2503.03800v1

Process-based Self-Rewarding Language Models

2503.03746v1

From Language to Cognition: How LLMs Outgrow the Human Language Network

2503.01830v2

Graph-Augmented Reasoning: Evolving Step-by-Step Knowledge Graph Retrieval for LLM Reasoning

2503.01642v1

Statistical physics analysis of graph neural networks: Approaching optimality in the contextual stochastic block model

2503.01361v3

Tutorial Proposal: Speculative Decoding for Efficient LLM Inference

2503.00491v1

Self-rewarding correction for mathematical reasoning

2502.19613v1

Hallucination Detection in LLMs Using Spectral Features of Attention Maps

2502.17598v2

Learning to Retrieve and Reason on Knowledge Graph through Active Self-Reflection

2502.14932v1

Retrieval-Augmented Process Reward Model for Generalizable Mathematical Reasoning

2502.14361v1

EpMAN: Episodic Memory AttentioN for Generalizing to Longer Contexts

2502.14280v1

RAG-Gym: Systematic Optimization of Language Agents for Retrieval-Augmented Generation

2502.13957v2

Grounding LLM Reasoning with Knowledge Graphs

2502.13247v3

ArXiv Paper 2502.13189v1

2502.13189v1

RuozhiBench: Evaluating LLMs with Logical Fallacies and Misleading Premises

2502.13125v1

Agentic Deep Graph Reasoning Yields Self-Organizing Knowledge Networks

2502.13025v1

S$^2$R: Teaching LLMs to Self-verify and Self-correct via Reinforcement Learning

2502.12853v1

A-MEM: Agentic Memory for LLM Agents

2502.12110v11

Unknown Title

2502.12086v3

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation

2502.11291v1

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations

2502.11269v1

Talk Structurally, Act Hierarchically: A Collaborative Framework for LLM Multi-Agent Systems

2502.11098v1

2502.09858v1

Bridging Logic Programming and Deep Learning for Explainability through ILASP

2502.09227v1

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

2502.09053v2

Position: Episodic Memory is the Missing Piece for Long-Term LLM Agents

2502.06975v1

Unknown Title

2502.06806v4

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

2502.05714v1

Scaling up Test-Time Compute with Latent Reasoning: A Recurrent Depth Approach

2502.05171v2

All-in-One Analog AI Hardware: On-Chip Training and Inference with Conductive-Metal-Oxide/HfOx ReRAM Devices

2502.04524v4

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning

2502.03275v2

Unknown Title

2502.02533v2

Brief analysis of DeepSeek R1 and its implications for Generative AI

2502.02523v3

Standard Neural Computation Alone Is Insufficient for Logical Intelligence

2502.02135v1

Unknown Title

2502.01618v5

Unknown Title

2502.01341v2

Does Functional Package Management Enable Reproducible Builds at Scale? Yes

2501.15919v2

Self-reflecting Large Language Models: A Hegelian Dialectical Approach

2501.14917v6

Communicating Activations Between Language Model Agents

2501.14082v2

2501.12948v2

Kimi k1.5: Scaling Reinforcement Learning with LLMs

2501.12599v4

Systematic Abductive Reasoning via Diverse Relation Representations in Vector-symbolic Architecture

2501.11896v2

Unknown Title

2501.11613v7

Tell me about yourself: LLMs are aware of their learned behaviors

2501.11120v1

ArXiv Paper 2501.09687v1

2501.09687v1

Unknown Title

2501.09244v1

2501.08603v3

NEUROLOGIC: From Neural Representations to Interpretable Logic Rules

2501.08281v3

2501.07937v2

Visual Description

2501.07301v2

ArXiv Paper 2501.05435v1

2501.05435v1

rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking

2501.04519v1

2501.03249v1

Enhancing Reasoning through Process Supervision with Monte Carlo Tree Search

2501.01478v1

2412.20848v1

2412.19545v2

Unknown Title

2412.19437v2

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework

2412.16953v2

OpenAI o1 System Card

2412.16720v1

Formal Mathematical Reasoning: A New Frontier in AI

2412.16075v1

AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling

2412.15084v2

Compressed Chain of Thought: Efficient Reasoning Through Dense Representations

2412.13171v1

Inferring Functionality of Attention Heads from their Parameters

2412.11965v2

Entropy-Regularized Process Reward Model

2412.11006v2

Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection

2412.08457v2

Zero-Shot Mono-to-Binaural Speech Synthesis

2412.08356v2

ArXiv Paper 2412.06769v1

2412.06769v1

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

2412.05563v2

Competence-Aware AI Agents with Metacognition for Unknown Situations and Environments (MUSE)

2411.13537v2

Unknown Title

2411.08561v5

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

2411.04872v7

Enaction for QBists

2411.04230v2

Fighting Spurious Correlations in Text Classification via a Causal Learning Perspective

2411.01045v3

ACC-Collab: An Actor-Critic Approach to Multi-Agent LLM Collaboration

2411.00053v3

A Survey on Automatic Credibility Assessment Using Textual Credibility Signals in the Era of Large Language Models

2410.21360v2

A Systematic Assessment of OpenAI o1-Preview for Higher Order Thinking in Education

2410.21287v1

Trustworthy XAI and Application

2410.17139v2

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

On Designing Effective RL Reward at Training Time for LLM Reasoning

2410.15115v3

ArXiv Paper 2410.14728v1

2410.14728v1

Unknown Title

2410.14211v4

Unknown Title

2410.13999v2

On the Role of Attention Heads in Large Language Model Safety

2410.13708v2

Graph-constrained Reasoning: Faithful Reasoning on Knowledge Graphs with Large Language Models

2410.13080v2

2410.12509v1

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree

2410.12048v1

A Scalable Communication Protocol for Networks of Large Language Models

2410.11905v1

2410.11407v1

Articulated Animal AI: An Environment for Animal-like Cognition in a Limbed Agent

2410.09275v1

SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction

2410.09008v3

2410.08146v1

SWIFT: On-the-Fly Self-Speculative Decoding for LLM Inference Acceleration

2410.06916v2

2410.06468v2

LeanAgent: Lifelong Learning for Formal Theorem Proving

2410.06209v8

SecAlign: Defending Against Prompt Injection with Preference Optimization

2410.05451v3

Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement

2410.04444v4

Unknown Title

2410.04343v2

Understanding Reasoning in Chain-of-Thought from the Hopfieldian View

2410.03595v1

LLMs Know More Than They Show: On the Intrinsic Representation of LLM Hallucinations

2410.02707v4

Surveying the Rust Verification Landscape

2410.01981v1

Interpretable Contrastive Monte Carlo Tree Search Reasoning

2410.01707v3

Dynamic neuron approach to deep neural networks: Decoupling neurons for renormalization group analysis

2410.00396v2

Accelerating stencils on the Tenstorrent Grayskull RISC-V accelerator

2409.18835v1

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning

2409.17270v2

2409.09271v1

Curvature induces and enhances transport of spinning colloids through narrow channels

2409.07661v1

Focus Agent: LLM-Powered Virtual Focus Group

2409.01907v1

Self-evolving Agents with reflective and memory-augmented abilities

2409.00872v2

Physics-Informed Machine Learning For Sound Field Estimation

2408.14731v1

FLoD: Integrating Flexible Level of Detail into 3D Gaussian Splatting for Customizable Rendering

2408.12894v2

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

2408.11944v2

2408.11903v2

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

2408.11367v2

GraphFSA: A Finite State Automaton Framework for Algorithmic Learning on Graphs

2408.11042v1

Abductive Reasoning in a Paraconsistent Framework

2408.07287v2

Unknown Title

2408.03314v1

ArXiv Paper 2408.01933v1

2408.01933v1

Nearest-Neighbours Neural Network architecture for efficient sampling of statistical physics models

2407.19483v2

Virtue Ethics For Ethically Tunable Robotic Assistants

2407.16361v1

CiteME: Can Language Models Accurately Cite Scientific Claims?

2407.12861v2

Truth is Universal: Robust Detection of Lies in LLMs

2407.12831v2

Towards Collaborative Intelligence: Propagating Intentions and Reasoning for Multi-Agent Coordination with Large Language Models

2407.12532v1

Unknown Title

2407.08608v2

Converging Paradigms: The Synergy of Symbolic and Connectionist AI in LLM-Empowered Autonomous Agents

2407.08516v5

Reuse, Don't Retrain: A Recipe for Continued Pretraining of Language Models

2407.07263v1

Graph Reasoning Networks

2407.05816v1

LogicVista: Multimodal LLM Logical Reasoning Benchmark in Visual Contexts

2407.04973v1

Self-Cognition in Large Language Models: An Exploratory Study

2407.01505v1

Unknown Title

2407.01489v2

$\text{Memory}^3$: Language Modeling with Explicit Memory

2407.01178v1

PUZZLES: A Benchmark for Neural Algorithmic Reasoning

2407.00401v1

LLMEasyQuant: Scalable Quantization for Parallel and Distributed LLM Inference

2406.19657v6

2406.19502v2

Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs

2406.18629v1

Sound Field Synthesis with Acoustic Waves

2406.17111v2

MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs

2406.13975v3

Unknown Title

2406.13840v1

ArXiv Paper 2406.13803v1

2406.13803v1

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

2406.12398v1

Neural logic programs and neural nets

2406.11888v1

Unknown Title

2406.11741v4

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

2406.09757v2

Large Language Models Must Be Taught to Know What They Don't Know

2406.08391v3

Open-LLM-Leaderboard: From Multi-choice to Open-style Questions for LLMs Evaluation, Benchmark, and Arena

2406.07545v1

A Probabilistic Framework for LLM Hallucination Detection via Belief Tree Propagation

2406.06950v2

Improve Mathematical Reasoning in Language Models by Automated Process Supervision

2406.06592v2

Do LLMs Recognize me, When I is not me: Assessment of LLMs Understanding of Turkish Indexical Pronouns in Indexical Shift Contexts

2406.05569v1

BayesAgent: Bayesian Agentic Reasoning Under Uncertainty via Verbalized Probabilistic Graphical Modeling

2406.05516v4

ArXiv Paper 2406.04271v1

2406.04271v1

ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search

2406.03816v3

Cycles of Thought: Measuring LLM Confidence through Stable Explanations

2406.03441v1

The Impossibility of Fair LLMs

2406.03198v2

Unknown Title

2406.02393v1

ArXiv Paper 2406.01940v1

2406.01940v1

SVFF: An Automated Framework for SR-IOV Virtual Function Management in FPGA Accelerated Virtualized Environments

2406.01225v1

Federated Model Heterogeneous Matryoshka Representation Learning

2406.00488v1

Jina CLIP: Your CLIP Model Is Also Your Text Retriever

2405.20204v2

Towards Dialogues for Joint Human-AI Reasoning and Value Alignment

2405.18073v1

Unknown Title

2405.17430v2

Assessing LLMs Suitability for Knowledge Graph Completion

2405.17249v2

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

2405.15793v3

2405.15007v1

Unknown Title

2405.14591v1

Statistical Mechanics and Artificial Neural Networks: Principles, Models, and Applications

2405.10957v1

Self-Reflection in LLM Agents: Effects on Problem-Solving Performance

2405.06682v3

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

2405.06399v1

2405.05710v6

Monte Carlo Tree Search Boosts Reasoning via Iterative Preference Learning

2405.00451v2

Better & Faster Large Language Models via Multi-token Prediction

2404.19737v1

2404.18982v2

Uncertainty Estimation and Quantification for LLMs: A Simple Supervised Approach

2404.15993v4

Enhancing Chain of Thought Prompting in Large Language Models via Reasoning Patterns

2404.14812v2

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean

2404.12534v3

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

2404.07972v2

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

2404.07382v3

THOUGHTSCULPT: Reasoning with Intermediate Revision and Search

2404.05966v2

2404.05221v2

Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding

2404.04293v1

Unknown Title

2404.02258v1

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

2404.01677v2

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

2404.01230v1

Octree-GS: Towards Consistent Real-time Rendering with LOD-Structured 3D Gaussians

2403.17898v2

The Sample Complexity of Simple Binary Hypothesis Testing

2403.16981v2

ArXiv Paper 2403.15122v1

2403.15122v1

A Unified and General Framework for Continual Learning

2403.13249v1

Unknown Title

2403.11322v5

Lifted Causal Inference in Relational Domains

2403.10184v1

ClaimVer: Explainable Claim-Level Verification and Evidence Attribution of Text Through Knowledge Graphs

2403.09724v4

Use of Nash equilibrium in finding game theoretic robust security bound on quantum bit error rate

2403.06309v2

2403.05530v5

2403.05516v1

ArXiv Paper 2403.04017v1

2403.04017v1

Unknown Title

2403.03507v2

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

2403.00685v2

Tokenization Is More Than Compression

2402.18376v2

ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models

2402.14660v2

2402.14160v2

The Clever Hans Mirage: A Comprehensive Survey on Spurious Correlations in Machine Learning

2402.12715v4

EVOR: Evolving Retrieval for Code Generation

2402.12317v2

Unknown Title

2402.11173v2

When LLMs Meet Cunning Texts: A Fallacy Understanding Benchmark for Large Language Models

2402.11100v2

Inference to the Best Explanation in Large Language Models

2402.10767v2

2402.10200v1

Unknown Title

2402.09267v2

StruQ: Defending Against Prompt Injection with Structured Queries

2402.06363v2

A Survey on Transformer Compression

2402.05964v2

Unknown Title

2402.04615v3

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

2402.03744v2

Shortened LLaMA: Depth Pruning for Large Language Models with Comparison of Retraining Methods

2402.02834v2

FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?

2402.02611v3

Unknown Title

2402.01825v2

Executable Code Actions Elicit Better LLM Agents

2402.01030v4

ArXiv Paper 2402.00342v1

2402.00342v1

The Case for Co-Designing Model Architectures with Hardware

2401.14489v2

A generic model of consciousness

2401.13690v1

Unknown Title

2401.12345v3

2401.12061v1

Unknown Title

2401.10774v3

Unknown Title

2401.10020v3

Online Handbook of Argumentation for AI: Volume 4

2401.09444v1

Unknown Title

2401.08417v4

2401.07324v3

Unknown Title

2401.06066v1

Rule-Extraction Methods From Feedforward Neural Networks: A Systematic Literature Review

2312.12878v1

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

2312.12559v1

2312.11805v5

Unknown Title

2312.10997v5

MATH-SHEPHERD: VERIFY AND REINFORCE LLMS STEP-BY-STEP WITHOUT HUMAN ANNOTATIONS

2312.08935v3

Reconstruction of Sound Field through Diffusion Models

2312.08821v2

Active Inference and Intentional Behaviour

2312.07547v2

Unknown Title

2312.07104v2

Arbitrary Ground State Observables from Quantum Computed Moments

2312.06975v1

Unknown Title

2312.05607v3

LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning

2312.04684v4

Chain of Code: Reasoning with a Language Model-Augmented Code Emulator

2312.04474v4

Unknown Title

2312.02959v7

2311.14722v1

2311.10215v1

2311.09277v1

LLMs cannot find reasoning errors, but can correct them given the error location

2311.08516v3

Real-Time Probabilistic Programming

2311.06788v2

A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questions

2311.05232v2

CausalCite: A Causal Formulation of Paper Citations

2311.02790v3

Levels of AGI for Operationalizing Progress on the Path to AGI

2311.02462v5

2311.02294v1

Unknown Title

2311.00502v2

Improved Panning on Non-Equidistant Loudspeakers with Direct Sound Level Compensation

2310.17004v2

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

2310.16781v3

Constructing disjoint Steiner trees in Sierpiński graphs

2310.16463v3

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

2310.16236v3

Unknown Title

2310.10683v2

2310.08560v2

Prometheus: Inducing Fine-grained Evaluation Capability in Language Models

2310.08491v2

If our aim is to build morality into an artificial agent, how might we begin to go about doing so?

2310.08295v1

2310.06846v1

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

2310.06770v3

2310.04959v1

Unknown Title

2310.04406v3

An In-Context Learning Agent for Formal Theorem-Proving

2310.04353v5

SimLOD: Simultaneous LOD Generation and Rendering

2310.03567v1

Large Language Models as Analogical Reasoners

2310.01714v3

2309.16509v1

2309.12731v1

Cognitive Architectures for Language Agents

2309.02427v3

2308.16118v2

2308.12400v1

SoK: Machine Learning for Misinformation Detection

2308.12215v4

A Survey on Large Language Model based Autonomous Agents

2308.11432v7

2308.09853v1

Consciousness in Artificial Intelligence: Insights from the Science of Consciousness

2308.08708v3

2308.05374v2

2308.04623v1

Universal and Transferable Adversarial Attacks on Aligned Language Models

2307.15043v2

2307.13992v2

Perceptual Quality Enhancement of Sound Field Synthesis Based on Combination of Pressure and Amplitude Matching

2307.13941v1

2307.10573v1

ArXiv Paper 2307.05632v1

2307.05632v1

CausalVLR: A Toolbox and Benchmark for Visual-Linguistic Causal Reasoning

2306.17462v2

ArXiv Paper 2306.14308v1

2306.14308v1

Can LLMs Express Their Uncertainty? An Empirical Evaluation of Confidence Elicitation in LLMs

2306.13063v2

Reward Shaping via Diffusion Process in Reinforcement Learning

2306.11885v1

Towards Theory-based Moral AI: Moral AI with Aggregating Models Based on Normative Ethical Theory

2306.11432v1

ArXiv Paper 2306.09896v1

2306.09896v1

Unifying Large Language Models and Knowledge Graphs: A Roadmap

2306.08302v3

Unknown Title

2306.00978v5

Unknown Title

2305.18290v3

2305.17626v2

Unified Fairness for Weak Memory Verification

2305.17605v2

2305.17306v1

Think Before You Act: Decision Transformers with Working Memory

2305.16338v3

Unknown Title

2305.10601v2

2305.10459v1

2305.10250v3

On the Security Risks of Knowledge Graph Reasoning

2305.02383v2

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

2305.01157v3

2305.00512v1

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

2304.13734v2

2304.10877v1

2304.09590v1

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming

2304.09276v2

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

2304.08247v3

Pitfalls in Effective Knowledge Management: Insights from an International Information Technology Organization

2304.07737v3

How well do SOTA legal reasoning models support abductive reasoning?

2304.06912v2

NeuroBench: A Framework for Benchmarking Neuromorphic Computing Algorithms and Systems

2304.04640v5

2303.14061v4

Unknown Title

2303.11366v4

2303.08896v3

Associated quarkonia production in a single boson $e^+e^-$ annihilation

2303.03362v2

Aristotle's Second-Order Logic and Natural Deduction

2303.03269v18

2302.12433v1

2302.08702v1

2302.06457v3

2302.06417v1

2302.04761v1

Visual Description

2301.11087v1

2301.04788v1

2301.03724v1

2212.14787v1

Emergent Analogical Reasoning in Large Language Models

2212.09196v3

2212.08427v2

DopplerBAS: Binaural Audio Synthesis Addressing Doppler Effect

2212.07000v3

2212.02872v1

2211.12877v1

Neural Meta-Symbolic Reasoning and Learning

2211.11650v2

Automatic Change-Point Detection in Time Series via Deep Learning

2211.03860v3

2210.15016v2

Inferring Past Human Actions in Homes with Abductive Reasoning

2210.13984v5

Systematic KMTNet Planetary Anomaly Search, Paper VII: Complete Sample of $q < 10^{-4}$ Planets from the First Four-Year Survey

2210.12344v2

2210.08119v1

2210.02574v1

2209.14021v1

2209.08750v1

2209.03388v12

2208.14037v1

2208.08125v2

2207.14140v1

2207.14070v2

2207.13596v2

On the Need and Applicability of Causality for Fairness: A Unified Framework for AI Auditing and Legal Analysis

2207.04053v4

BAST: Binaural Audio Spectrogram Transformer for Binaural Sound Localization

2207.03927v2

End-to-End Binaural Speech Synthesis

2207.03697v1

2207.02337v1

2206.07185v2

2206.03780v2

2206.01859v1

Matryoshka Representation Learning

2205.13147v4

Deep Multi-Frame MVDR Filtering for Binaural Noise Reduction

2205.08983v2

2205.06259v1

2205.03854v1

2204.06790v2

2204.02484v1

2203.16487v6

2203.15556v1

2203.11171v4

A Survey of Multi-Agent Deep Reinforcement Learning with Communication

2203.08975v2

2202.13758v3

2202.12292v2

2202.10706v2

Diffusion Causal Models for Counterfactual Estimation

2202.10166v1

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

2202.07380v2

2202.04800v2

2202.02891v1

2201.12885v1

2201.11903v6

2201.09305v1

2201.05464v1

Towards Maximizing a Perceptual Sweet Spot

2201.01461v2

Long Story Short: Omitted Variable Bias in Causal Machine Learning

2112.13398v5

2112.10664v1

Mathematical Runtime Analysis for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II)

2112.08581v7

2112.06641v1

Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks

2112.03324v1

2111.13251v1

Geometry-Aware Multi-Task Learning for Binaural Audio Generation from Video

2111.10882v1

2111.08404v1

2111.08054v3

2111.07555v1

2111.06737v1

2111.02123v1

2110.11290v1

2110.10200v1

2109.05472v2

2108.13121v1

2108.09836v2

2108.07380v2

2108.07369v1

2108.07258v3

2107.07169v1

Towards a generalized monaural and binaural auditory model for psychoacoustics and speech intelligibility

2106.15659v1

2106.15515v4

PQK: Model Compression via Pruning, Quantization, and Knowledge Distillation

2106.14681v1

Unknown Title

2106.09685v2

2106.03973v1

2105.14273v2

2105.02314v1

2104.14512v2

Visually Informed Binaural Audio Generation without Binaural Audios

2104.06162v1

2103.14434v1

2103.10296v1

2103.07769v2

2103.02157v1

2102.10717v2

Deep Sound Field Reconstruction in Real Rooms: Introducing the ISOBEL Sound Field Dataset

2102.06455v1

2101.03403v1

2011.12750v2

2011.03870v1

2011.00596v2

2009.14795v2

2009.11248v1

2009.05815v1

2007.04929v2

2007.02114v1

Popper's falsification and corroboration from the statistical perspectives

2007.00238v1

2006.07478v1

2006.06580v3

2006.05649v2

2006.02757v2

2005.12968v1

2004.14942v1

2004.03573v5

2003.04845v2

2003.03729v1

Sound field reconstruction in rooms: inpainting meets super-resolution

2001.11263v2

2001.08361v1

1912.06101v1

1911.12200v1

1911.08905v1

1910.05018v1

1909.08383v3

1908.05739v2

1907.02893v3

1905.09381v1

Binaural LCMV Beamforming with Partial Noise Estimation

1905.04050v2

Unknown Title

1904.07272v8

1904.01605v1

Which is the least complex explanation? Abduction and complexity ∗

1902.05479v1

1812.06161v1

1811.10656v1

1811.04790v1

1811.02440v1

1811.00902v2

Pyro: Deep Universal Probabilistic Programming

1810.09538v1

1809.07124v2

1809.04028v2

1809.00858v1

1809.00626v1

1807.10695v1

1807.00504v1

1806.10322v1

Integrating Stance Detection and Fact Checking in a Unified Corpus

1804.08012v1

1804.03606v1

1803.08885v1

1802.07569v4

1802.05668v1

1802.01173v2

1801.04819v3

1801.01554v1

Spectre Attacks: Exploiting Speculative Execution ∗

1801.01203v1

1801.00862v3

1712.03847v1

1711.00455v3

A report on sound event detection with different binaural features

1710.02997v1

1709.08992v2

1707.09430v1

1707.06967v1

1707.02038v3

1706.05261v1

Unknown Title

1706.03762v7

DAC-h3: A Proactive Robot Cognitive Architecture to Acquire and Express Knowledge About the World and the Self

1706.03661v2

1706.02744v2

1706.01764v1

1704.03767v1

1703.03400v3

1701.06564v4

1701.02388v2

1701.01189v2

1612.04432v1

1612.00796v2

1611.09263v2

1611.07100v2

1611.01578v2

1610.08254v1

1610.05749v2

1610.00132v1

1609.08737v1

Relaxed Binaural LCMV Beamforming

1609.03213v1

1609.00672v5

Cognitive Science in the era of Artificial Intelligence: A roadmap for reverse-engineering the infant language-learner

1607.08723v1

1603.07704v2

1603.01980v6

1506.03880v2

Binaural coherent-to-diffuse-ratio estimation for dereverberation using an ITD model

1506.03604v1

1506.03264v1

1505.02463v2

1410.5401v2

1409.0473v7

1407.6246v1

Unknown Title

1405.7615v2

Unknown Title

1405.3322v5