PAPER INVENTORY

SOURCE DOCUMENT INDEX

βœ• Clear

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

2602.16480v1

18 Images
IMAGES READ β†—

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

2602.15547v1

7 Images
IMAGES READ β†—

Experiential Reinforcement Learning

2602.13949v1

7 Images
IMAGES READ β†—

Differentiable Rule Induction from Raw Sequence Inputs

2602.13583v1

10 Images
IMAGES READ β†—

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

2602.13517v1

25 Images
IMAGES READ β†—

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

2602.13367v1

5 Images
IMAGES READ β†—

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

2602.12259v1

6 Images
IMAGES READ β†—

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

2602.11495v1

6 Images
IMAGES READ β†—

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

2602.11361v1

19 Images
IMAGES READ β†—

Statistical Learning Analysis of Physics-Informed Neural Networks

2602.11097v1

9 Images
IMAGES READ β†—

FeatureBench: Benchmarking Agentic Coding for Complex Feature Development

2602.10975v1

10 Images
IMAGES READ β†—

Neuro-symbolic Action Masking for Deep Reinforcement Learning

2602.10598v1

35 Images
IMAGES READ β†—

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

2602.10576v1

17 Images
IMAGES READ β†—

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

2602.10229v1

6 Images
IMAGES READ β†—

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

2602.10224v1

25 Images
IMAGES READ β†—

Towards Autonomous Mathematics Research

2602.10177v2

3 Images
IMAGES READ β†—

Immersion in the GitHub Universe: Scaling Coding Agents to Mastery

2602.09892v1

8 Images
IMAGES READ β†—

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

2602.09540v1

11 Images
IMAGES READ β†—

ArXiv Paper 2602.08332v1

2602.08332v1

6 Images
IMAGES READ β†—

SWE Context Bench: A Benchmark for Context Learning in Coding

2602.08316v1

1 Image
IMAGES READ β†—

Learning to Self-Verify Makes Language Models Better Reasoners

2602.07594v1

4 Images
IMAGES READ β†—

Large Language Model Reasoning Failures

2602.06176v1

14 Images
IMAGES READ β†—

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

2602.06057v2

6 Images
IMAGES READ β†—

HugRAG: Hierarchical Causal Knowledge Graph Design for RAG

2602.05143v1

15 Images
IMAGES READ β†—

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

2602.03950v2

5 Images
IMAGES READ β†—

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

2602.03485v1

9 Images
IMAGES READ β†—

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

2602.02361v1

6 Images
IMAGES READ β†—

Kimi K2.5: Visual Agentic Intelligence

2602.02276v1

12 Images
IMAGES READ β†—

Localizing and Correcting Errors for LLM-based Planners

2602.00276v1

15 Images
IMAGES READ β†—

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

2602.00007v1

1 Image
IMAGES READ β†—

Toward Pluralizing Reflection in HCI through Daoism

2601.22831v1

2 Images
IMAGES READ β†—

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

2601.22642v1

11 Images
IMAGES READ β†—

2601.21464v1

3 Images
IMAGES READ β†—

2601.21268v1

7 Images
IMAGES READ β†—

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

2601.20784v1

13 Images
IMAGES READ β†—

Visual Generation Unlocks Human-Like Reasoning through Multimodal World Models

2601.19834v1

19 Images
IMAGES READ β†—

Subword-Based Comparative Linguistics across 242 Languages Using Wikipedia Glottosets

2601.18791v1

4 Images
IMAGES READ β†—

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic

2601.18595v1

9 Images
IMAGES READ β†—

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

2601.18383v1

54 Images
IMAGES READ β†—

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

2601.17768v2

22 Images
IMAGES READ β†—

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

2601.17426v1

8 Images
IMAGES READ β†—

ArXiv Paper 2601.15160v1

2601.15160v1

8 Images
IMAGES READ β†—

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

2601.14460v1

2 Images
IMAGES READ β†—

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

2601.13671v1

6 Images
IMAGES READ β†—

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

2601.13260v2

1 Image
IMAGES READ β†—

AI for Mathematics: Progress, Challenges, and Prospects

2601.13209v4

3 Images
IMAGES READ β†—

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

2601.11956v1

4 Images
IMAGES READ β†—

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

2601.11903v1

2 Images
IMAGES READ β†—

2601.11840v2

19 Images
IMAGES READ β†—

Distribution-Aligned Sequence Distillation for Superior Long-CoT Reasoning

2601.09088v1

14 Images
IMAGES READ β†—

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

2601.08129v3

5 Images
IMAGES READ β†—

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

2601.07754v1

1 Image
IMAGES READ β†—

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

2601.07422v1

92 Images
IMAGES READ β†—

LSRIF: Logic-Structured Reinforcement Learning for Instruction Following

2601.06431v2

25 Images
IMAGES READ β†—

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

2601.06223v1

8 Images
IMAGES READ β†—

ArXiv Paper 2601.05264v1

2601.05264v1

2 Images
IMAGES READ β†—

Interpreting Transformers Through Attention Head Intervention

2601.04398v3

2 Images
IMAGES READ β†—

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

2601.03559v1

4 Images
IMAGES READ β†—

Unknown Title

2601.03027v2

5 Images
IMAGES READ β†—

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

2601.01070v1

1 Image
IMAGES READ β†—

AMAP Agentic Planning Technical Report

2512.24957v2

8 Images
IMAGES READ β†—

Group Deliberation Oriented Multi-Agent Conversational Model for Complex Reasoning

2512.24613v1

4 Images
IMAGES READ β†—

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

2512.24609v1

4 Images
IMAGES READ β†—

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

2512.24532v1

5 Images
IMAGES READ β†—

Constrained Language Model Policy Optimization via Risk-aware Stepwise Alignment

2512.24263v1

10 Images
IMAGES READ β†—

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

2512.24156v1

8 Images
IMAGES READ β†—

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

2512.24077v1

4 Images
IMAGES READ β†—

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

2512.24040v1

3 Images
IMAGES READ β†—

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

2512.24008v2

1 Image
IMAGES READ β†—

Stable envelopes for critical loci

2512.23929v1

15 Images
IMAGES READ β†—

CASCADE: Cumulative Agentic Skill Creation through Autonomous Development and Evolution

2512.23880v2

10 Images
IMAGES READ β†—

ArXiv Paper 2512.23829v1

2512.23829v1

13 Images
IMAGES READ β†—

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

2512.23828v1

10 Images
IMAGES READ β†—

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

2512.23511v1

6 Images
IMAGES READ β†—

Geometric Structural Knowledge Graph Foundation Model

2512.22931v1

1 Image
IMAGES READ β†—

Unknown Title

2512.21711v1

12 Images
IMAGES READ β†—

ArXiv Paper 2512.20237v1

2512.20237v1

7 Images
IMAGES READ β†—

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives

2512.12620v3

4 Images
IMAGES READ β†—

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

2512.12443v1

6 Images
IMAGES READ β†—

ArXiv Paper 2512.10978v1

2512.10978v1

12 Images
IMAGES READ β†—

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

2512.10739v2

3 Images
IMAGES READ β†—

Advancing Mathematical Research via Human-AI Interactive Theorem Proving

2512.09443v2

1 Image
IMAGES READ β†—

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

2512.09369v2

8 Images
IMAGES READ β†—

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

2512.07218v1

1 Image
IMAGES READ β†—

Statistical physics for artificial neural networks

2512.06518v1

7 Images
IMAGES READ β†—

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

2512.06266v1

6 Images
IMAGES READ β†—

Sparse Attention Post-Training for Mechanistic Interpretability

2512.05865v2

19 Images
IMAGES READ β†—

Jina-VLM: Small Multilingual Vision Language Model

2512.04032v2

10 Images
IMAGES READ β†—

MemVerse: Multimodal Memory for Lifelong Learning Agents

2512.03627v1

1 Image
IMAGES READ β†—

Modal Logical Neural Networks

2512.03491v2

10 Images
IMAGES READ β†—

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

2512.02242v1

3 Images
IMAGES READ β†—

Unknown Title

2512.00307v2

10 Images
IMAGES READ β†—

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

2511.23158v1

5 Images
IMAGES READ β†—

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

2511.22904v1

22 Images
IMAGES READ β†—

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

2511.19895v2

6 Images
IMAGES READ β†—

ArXiv Paper 2511.16198v1

2511.16198v1

6 Images
IMAGES READ β†—

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

2511.16043v1

5 Images
IMAGES READ β†—

Neuro-Logic Lifelong Learning

2511.12793v1

8 Images
IMAGES READ β†—

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

2511.11017v1

1 Image
IMAGES READ β†—

Unknown Title

2511.10037v2

3 Images
IMAGES READ β†—

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

2511.09381v1

61 Images
IMAGES READ β†—

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

2511.07364v1

4 Images
IMAGES READ β†—

Increasing AI Explainability by LLM Driven Standard Processes

2511.07083v1

2 Images
IMAGES READ β†—

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

2511.06455v1

2 Images
IMAGES READ β†—

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

2511.05236v1

13 Images
IMAGES READ β†—

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

2511.04355v1

4 Images
IMAGES READ β†—

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

2511.02881v1

7 Images
IMAGES READ β†—

2511.02864v3

37 Images
IMAGES READ β†—

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

2511.02213v1

5 Images
IMAGES READ β†—

ArXiv Paper 2511.01581v1

2511.01581v1

4 Images
IMAGES READ β†—

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

2511.01365v1

29 Images
IMAGES READ β†—

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

2510.27051v1

8 Images
IMAGES READ β†—

2510.26692v2

11 Images
IMAGES READ β†—

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

2510.26380v1

1 Image
IMAGES READ β†—

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

2510.25975v2

3 Images
IMAGES READ β†—

Scaling Latent Reasoning via Looped Language Models

2510.25741v4

27 Images
IMAGES READ β†—

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

2510.25497v3

5 Images
IMAGES READ β†—

2510.24616v3

31 Images
IMAGES READ β†—

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

2510.23937v1

10 Images
IMAGES READ β†—

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

2510.21425v1

13 Images
IMAGES READ β†—

ArXiv Paper 2510.21293v1

2510.21293v1

3 Images
IMAGES READ β†—

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

2510.20691v3

10 Images
IMAGES READ β†—

LLM-empowered knowledge graph construction: A survey

2510.20345v1

1 Image
IMAGES READ β†—

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

2510.20272v1

3 Images
IMAGES READ β†—

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

2510.18135v1

18 Images
IMAGES READ β†—

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

2510.16381v1

3 Images
IMAGES READ β†—

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

2510.16079v1

4 Images
IMAGES READ β†—

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

2510.16062v2

25 Images
IMAGES READ β†—

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

2510.14538v1

20 Images
IMAGES READ β†—

The Mechanistic Emergence of Symbol Grounding in Language Models

2510.13796v2

38 Images
IMAGES READ β†—

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

2510.12787v3

7 Images
IMAGES READ β†—

ArXiv Paper 2510.12474v1

2510.12474v1

15 Images
IMAGES READ β†—

Self-Verifying Reflection Helps Transformers with CoT Reasoning

2510.12157v1

20 Images
IMAGES READ β†—

ADEPT: Continual Pretraining via Adaptive Expansion and Dynamic Decoupled Tuning

2510.10071v1

22 Images
IMAGES READ β†—

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

2510.10047v1

11 Images
IMAGES READ β†—

2510.09782v1

9 Images
IMAGES READ β†—

SynthID-Image: Image watermarking at internet scale

2510.09263v1

2 Images
IMAGES READ β†—

Unknown Title

2510.09033v1

25 Images
IMAGES READ β†—

Unknown Title

2510.08565v1

21 Images
IMAGES READ β†—

Training-Free Group Relative Policy Optimization

2510.08191v1

4 Images
IMAGES READ β†—

2510.08049v2

3 Images
IMAGES READ β†—

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

2510.07092v1

4 Images
IMAGES READ β†—

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

2510.05592v1

13 Images
IMAGES READ β†—

ArXiv Paper 2510.02827v1

2510.02827v1

2 Images
IMAGES READ β†—

Programming RISC-V accelerators via Fortran

2510.02170v1

1 Image
IMAGES READ β†—

TAIBOM: Bringing Trustworthiness to AI-Enabled Systems

2510.02169v1

2 Images
IMAGES READ β†—

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

2510.01032v1

20 Images
IMAGES READ β†—

A Formal Comparison Between Chain of Thought and Latent Thought

2509.25239v2

16 Images
IMAGES READ β†—

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

2509.25085v4

1 Image
IMAGES READ β†—

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

2509.24276v1

6 Images
IMAGES READ β†—

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

2509.24203v1

12 Images
IMAGES READ β†—

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

2509.23830v1

20 Images
IMAGES READ β†—

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

2509.23045v3

23 Images
IMAGES READ β†—

Towards Transparent AI: A Survey on Explainable Language Models

2509.21631v1

1 Image
IMAGES READ β†—

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

2509.21224v1

1 Image
IMAGES READ β†—

GRPO is Secretly a Process Reward Model

2509.21154v2

6 Images
IMAGES READ β†—

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

2509.17737v2

2 Images
IMAGES READ β†—

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

2509.16866v1

15 Images
IMAGES READ β†—

Language Modeling with Learned Meta-Tokens

2509.16278v1

8 Images
IMAGES READ β†—

ArXiv Paper 2509.14285v1

2509.14285v1

5 Images
IMAGES READ β†—

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

2509.14274v1

3 Images
IMAGES READ β†—

ArXiv Paper 2509.10929v1

2509.10929v1

2 Images
IMAGES READ β†—

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis

2509.07122v1

5 Images
IMAGES READ β†—

Multimodal Prompt Injection Attacks: Risks and Defenses for Modern LLMs

2509.05883v1

1 Image
IMAGES READ β†—

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

2509.04499v1

15 Images
IMAGES READ β†—

Unknown Title

2509.03518v1

26 Images
IMAGES READ β†—

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

2509.01476v3

4 Images
IMAGES READ β†—

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

2508.20922v1

17 Images
IMAGES READ β†—

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

2508.20228v2

21 Images
IMAGES READ β†—

Diffusion Language Models Know the Answer Before Decoding

2508.19982v3

12 Images
IMAGES READ β†—

Mutual Information Surprise: Rethinking Unexpectedness in Autonomous Systems

2508.17403v2

20 Images
IMAGES READ β†—

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

2508.15234v2

11 Images
IMAGES READ β†—

Unknown Title

2508.15202v1

4 Images
IMAGES READ β†—

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

2508.14313v3

11 Images
IMAGES READ β†—

RynnEC: Bringing MLLMs into Embodied World

2508.14160v2

9 Images
IMAGES READ β†—

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

2508.13678v1

3 Images
IMAGES READ β†—

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

2508.13023v1

7 Images
IMAGES READ β†—

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning

2508.06716v1

2 Images
IMAGES READ β†—

Intuition emerges in Maximum Caliber models at criticality

2508.06477v2

8 Images
IMAGES READ β†—

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

2508.05724v2

7 Images
IMAGES READ β†—

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

2508.04088v2

12 Images
IMAGES READ β†—

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

2508.03860v2

12 Images
IMAGES READ β†—

ArXiv Paper 2508.03465v1

2508.03465v1

1 Image
IMAGES READ β†—

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

2508.03366v1

5 Images
IMAGES READ β†—

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

2508.02833v2

2 Images
IMAGES READ β†—

ArXiv Paper 2508.01191v1

2508.01191v1

13 Images
IMAGES READ β†—

Transparent AI: The Case for Interpretability and Explainability

2507.23535v1

9 Images
IMAGES READ β†—

Evaluation and Benchmarking of LLM Agents: A Survey

2507.21504v1

1 Image
IMAGES READ β†—

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

2507.21046v4

8 Images
IMAGES READ β†—

Kimi K2: Open Agentic Intelligence

2507.20534v2

18 Images
IMAGES READ β†—

Binaural Localization Model for Speech in Noise

2507.20027v1

5 Images
IMAGES READ β†—

Unknown Title

2507.18581v1

19 Images
IMAGES READ β†—

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

2507.15559v1

17 Images
IMAGES READ β†—

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

2507.11733v1

1 Image
IMAGES READ β†—

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

2507.09854v1

3 Images
IMAGES READ β†—

2507.08906v1

57 Images
IMAGES READ β†—

Abductive Computational Systems: Creative Abduction and Future Directions

2507.08264v1

1 Image
IMAGES READ β†—

A statistical physics framework for optimal learning

2507.07907v1

13 Images
IMAGES READ β†—

A Survey on Latent Reasoning

2507.06203v2

3 Images
IMAGES READ β†—

Cascade: Token-Sharded Private LLM Inference

2507.05228v1

2 Images
IMAGES READ β†—

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

2507.05146v1

13 Images
IMAGES READ β†—

Leveraging Large Language Models for Tacit Knowledge Discovery in Organizational Contexts

2507.03811v1

5 Images
IMAGES READ β†—

Towards Unified Neurosymbolic Reasoning on Knowledge Graphs

2507.03697v1

23 Images
IMAGES READ β†—

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

2507.02778v2

9 Images
IMAGES READ β†—

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

2507.01489v1

4 Images
IMAGES READ β†—

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

2507.00726v3

9 Images
IMAGES READ β†—

Lost at the Beginning of Reasoning

2506.22058v3

15 Images
IMAGES READ β†—

Towards Transparent AI: A Survey on Explainable Large Language Models

2506.21812v1

1 Image
IMAGES READ β†—

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

2506.21728v2

5 Images
IMAGES READ β†—

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

2506.18902v3

7 Images
IMAGES READ β†—

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

2506.18896v2

9 Images
IMAGES READ β†—

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

2506.17589v3

15 Images
IMAGES READ β†—

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

2506.14138v1

4 Images
IMAGES READ β†—

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

2506.12508v5

28 Images
IMAGES READ β†—

2506.11405v1

2 Images
IMAGES READ β†—

2506.11304v1

5 Images
IMAGES READ β†—

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

2506.10558v2

4 Images
IMAGES READ β†—

ArXiv Paper 2506.09532v1

2506.09532v1

8 Images
IMAGES READ β†—

2506.09433v1

4 Images
IMAGES READ β†—

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

2506.08989v1

15 Images
IMAGES READ β†—

A Proposal to Extend the Common Model of Cognition with Metacognition

2506.07807v2

3 Images
IMAGES READ β†—

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

2506.07461v1

1 Image
IMAGES READ β†—

FairPFN: A Tabular Foundation Model for Causal Fairness

2506.07049v1

28 Images
IMAGES READ β†—

2506.06923v1

5 Images
IMAGES READ β†—

2506.05109v1

2 Images
IMAGES READ β†—

LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning

2506.04821v1

3 Images
IMAGES READ β†—

ArXiv Paper 2506.04374v1

2506.04374v1

8 Images
IMAGES READ β†—

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

2506.03227v2

5 Images
IMAGES READ β†—

Improving compiler support for SIMD offload using Arm Streaming SVE

2506.02233v1

2 Images
IMAGES READ β†—

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

2506.01089v1

5 Images
IMAGES READ β†—

WorldGym: World Model as An Environment for Policy Evaluation

2506.00613v3

16 Images
IMAGES READ β†—

Statistical mechanics of extensive-width Bayesian neural networks near interpolation

2505.24849v1

34 Images
IMAGES READ β†—

Experience-based Knowledge Correction for Robust Planning in Minecraft

2505.24157v3

71 Images
IMAGES READ β†—

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

2505.23219v2

14 Images
IMAGES READ β†—

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

2505.22257v2

7 Images
IMAGES READ β†—

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

2505.20971v1

7 Images
IMAGES READ β†—

Pretraining Language Models to Ponder in Continuous Space

2505.20674v2

8 Images
IMAGES READ β†—

Reasoning in Neurosymbolic AI

2505.20313v1

27 Images
IMAGES READ β†—

DreamPRM: Domain-Reweighted Process Reward Model for Multimodal Reasoning

2505.20241v3

11 Images
IMAGES READ β†—

Unknown Title

2505.17826v3

20 Images
IMAGES READ β†—

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

2505.17813v2

86 Images
IMAGES READ β†—

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

2505.17507v1

6 Images
IMAGES READ β†—

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

2505.17482v1

23 Images
IMAGES READ β†—

ArXiv Paper 2505.16782v1

2505.16782v1

4 Images
IMAGES READ β†—

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

2505.15796v1

7 Images
IMAGES READ β†—

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

2505.15778v1

4 Images
IMAGES READ β†—

Let's Take Esoteric Programming Languages Seriously

2505.15327v2

8 Images
IMAGES READ β†—

2505.14674v1

13 Images
IMAGES READ β†—

ArXiv Paper 2505.14313v1

2505.14313v1

35 Images
IMAGES READ β†—

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

2505.13969v1

5 Images
IMAGES READ β†—

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

2505.13737v2

7 Images
IMAGES READ β†—

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

2505.11140v2

10 Images
IMAGES READ β†—

2505.07005v1

4 Images
IMAGES READ β†—

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

2505.06745v1

2 Images
IMAGES READ β†—

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

2505.05758v5

20 Images
IMAGES READ β†—

Chain-of-Thought Tokens are Computer Program Variables

2505.04955v1

15 Images
IMAGES READ β†—

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

2505.04806v2

6 Images
IMAGES READ β†—

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

2505.03105v2

2 Images
IMAGES READ β†—

ArXiv Paper 2505.02521v1

2505.02521v1

12 Images
IMAGES READ β†—

RM-R1: Reward Modeling as Reasoning

2505.02387v3

6 Images
IMAGES READ β†—

LLM-Guided Probabilistic Program Induction for POMDP Model Estimation

2505.02216v2

4 Images
IMAGES READ β†—

Agentic Reasoning and Tool Integration for LLMs via Reinforcement Learning

2505.01441v1

8 Images
IMAGES READ β†—

Unknown Title

2505.01100v1

2 Images
IMAGES READ β†—

Multi-Domain Causal Discovery in Bijective Causal Models

2504.21261v1

3 Images
IMAGES READ β†—

AI Awareness

2504.20084v2

19 Images
IMAGES READ β†—

On Bitcoin Price Prediction

2504.18982v1

29 Images
IMAGES READ β†—

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification

2504.17017v2

2 Images
IMAGES READ β†—

Process Reward Models That Think

2504.16828v5

20 Images
IMAGES READ β†—

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

2504.16091v1

3 Images
IMAGES READ β†—

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

2504.16021v1

1 Image
IMAGES READ β†—

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

2504.15965v2

1 Image
IMAGES READ β†—

A Self-Improving Coding Agent

2504.15228v2

1 Image
IMAGES READ β†—

2504.15125v3

6 Images
IMAGES READ β†—

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

2504.12534v2

2 Images
IMAGES READ β†—

Counterfactual Fairness Evaluation of Machine Learning Models on Educational Datasets

2504.11504v2

19 Images
IMAGES READ β†—

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

2504.11168v3

6 Images
IMAGES READ β†—

Efficient Process Reward Model Training via Active Learning

2504.10559v1

6 Images
IMAGES READ β†—

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

2504.10499v2

6 Images
IMAGES READ β†—

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

2504.09037v3

6 Images
IMAGES READ β†—

Knowledge Graph-extended Retrieval Augmented Generation for Question Answering

2504.08893v1

10 Images
IMAGES READ β†—

2504.07951v4

27 Images
IMAGES READ β†—

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

2504.07825v1

8 Images
IMAGES READ β†—

Kimi-VL Technical Report

2504.07491v3

13 Images
IMAGES READ β†—

2504.07128v3

99 Images
IMAGES READ β†—

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

2504.05632v3

3 Images
IMAGES READ β†—

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

2504.04794v1

14 Images
IMAGES READ β†—

2504.03553v2

5 Images
IMAGES READ β†—

Affordable AI Assistants with Knowledge Graph of Thoughts

2504.02670v6

36 Images
IMAGES READ β†—

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

2504.02654v1

8 Images
IMAGES READ β†—

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

2504.01538v2

3 Images
IMAGES READ β†—

2504.00891v2

5 Images
IMAGES READ β†—

LLMs for Explainable AI: A Comprehensive Survey

2504.00125v1

5 Images
IMAGES READ β†—

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

2503.22931v2

2 Images
IMAGES READ β†—

2503.22166v1

6 Images
IMAGES READ β†—

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

2503.21380v2

5 Images
IMAGES READ β†—

Investigating the Duality of Interpretability and Explainability in Machine Learning

2503.21356v1

2 Images
IMAGES READ β†—

ArXiv Paper 2503.21295v1

2503.21295v1

2 Images
IMAGES READ β†—

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

2503.19633v1

6 Images
IMAGES READ β†—

A Survey of Large Language Model Agents for Question Answering

2503.19213v1

2 Images
IMAGES READ β†—

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

2503.17569v1

3 Images
IMAGES READ β†—

Bayesian Teaching Enables Probabilistic Reasoning in Large Language Models

2503.17523v3

28 Images
IMAGES READ β†—

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

2503.16507v1

4 Images
IMAGES READ β†—

Reasoning Effort and Problem Complexity: A Scaling Analysis in LLMs

2503.15113v1

14 Images
IMAGES READ β†—

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

2503.14797v1

5 Images
IMAGES READ β†—

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

2503.13551v4

4 Images
IMAGES READ β†—

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

2503.12687v1

4 Images
IMAGES READ β†—

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

2503.12511v3

20 Images
IMAGES READ β†—

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

2503.11227v2

10 Images
IMAGES READ β†—

VisualPRM: An Effective Process Reward Model for Multimodal Reasoning

2503.10291v1

29 Images
IMAGES READ β†—

Learning richness modulates equality reasoning in neural networks

2503.09781v3

10 Images
IMAGES READ β†—

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

2503.09567v5

11 Images
IMAGES READ β†—

2503.08699v1

2 Images
IMAGES READ β†—

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

2503.08679v4

11 Images
IMAGES READ β†—

Human Cognition Inspired RAG with Knowledge Graph for Complex Problem Solving

2503.06567v2

7 Images
IMAGES READ β†—

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

2503.05951v1

9 Images
IMAGES READ β†—

MastermindEval: A Simple But Scalable Reasoning Benchmark

2503.05891v4

4 Images
IMAGES READ β†—

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

2503.05850v1

1 Image
IMAGES READ β†—

2503.05516v1

4 Images
IMAGES READ β†—

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

2503.04772v1

2 Images
IMAGES READ β†—

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

2503.03800v1

10 Images
IMAGES READ β†—

Process-based Self-Rewarding Language Models

2503.03746v1

6 Images
IMAGES READ β†—

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

2503.01830v2

12 Images
IMAGES READ β†—

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

2503.01642v1

13 Images
IMAGES READ β†—

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

2503.01361v3

20 Images
IMAGES READ β†—

Self-rewarding correction for mathematical reasoning

2502.19613v1

5 Images
IMAGES READ β†—

Hallucination Detection in LLMs Using Spectral Features of Attention Maps

2502.17598v2

18 Images
IMAGES READ β†—

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

2502.14932v1

3 Images
IMAGES READ β†—

Retrieval-Augmented Process Reward Model for Generalizable Mathematical Reasoning

2502.14361v1

6 Images
IMAGES READ β†—

EpMAN: Episodic Memory AttentioN for Generalizing to Longer Contexts

2502.14280v1

2 Images
IMAGES READ β†—

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

2502.13957v2

7 Images
IMAGES READ β†—

Grounding LLM Reasoning with Knowledge Graphs

2502.13247v3

19 Images
IMAGES READ β†—

ArXiv Paper 2502.13189v1

2502.13189v1

28 Images
IMAGES READ β†—

RuozhiBench: Evaluating LLMs with Logical Fallacies and Misleading Premises

2502.13125v1

17 Images
IMAGES READ β†—

Agentic Deep Graph Reasoning Yields Self-Organizing Knowledge Networks

2502.13025v1

24 Images
IMAGES READ β†—

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

2502.12853v1

9 Images
IMAGES READ β†—

A-MEM: Agentic Memory for LLM Agents

2502.12110v11

19 Images
IMAGES READ β†—

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation

2502.11291v1

14 Images
IMAGES READ β†—

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

2502.11269v1

7 Images
IMAGES READ β†—

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

2502.11098v1

4 Images
IMAGES READ β†—

2502.09858v1

6 Images
IMAGES READ β†—

Bridging Logic Programming and Deep Learning for Explainability through ILASP

2502.09227v1

2 Images
IMAGES READ β†—

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

2502.06975v1

1 Image
IMAGES READ β†—

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

2502.05714v1

5 Images
IMAGES READ β†—

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

2502.05171v2

36 Images
IMAGES READ β†—

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

2502.04524v4

15 Images
IMAGES READ β†—

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

2502.03275v2

10 Images
IMAGES READ β†—

Brief analysis of DeepSeek R1 and its implications for Generative AI

2502.02523v3

2 Images
IMAGES READ β†—

Standard Neural Computation Alone Is Insufficient for Logical Intelligence

2502.02135v1

3 Images
IMAGES READ β†—

Unknown Title

2502.01341v2

21 Images
IMAGES READ β†—

Does Functional Package Management Enable Reproducible Builds at Scale? Yes

2501.15919v2

13 Images
IMAGES READ β†—

Self-reflecting Large Language Models: A Hegelian Dialectical Approach

2501.14917v6

4 Images
IMAGES READ β†—

Communicating Activations Between Language Model Agents

2501.14082v2

11 Images
IMAGES READ β†—

2501.12948v2

20 Images
IMAGES READ β†—

Kimi k1.5: Scaling Reinforcement Learning with LLMs

2501.12599v4

12 Images
IMAGES READ β†—

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

2501.11896v2

5 Images
IMAGES READ β†—

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

2501.11120v1

53 Images
IMAGES READ β†—

ArXiv Paper 2501.09687v1

2501.09687v1

13 Images
IMAGES READ β†—

2501.08603v3

7 Images
IMAGES READ β†—

NEUROLOGIC: From Neural Representations to Interpretable Logic Rules

2501.08281v3

9 Images
IMAGES READ β†—

2501.07937v2

17 Images
IMAGES READ β†—

Visual Description

2501.07301v2

12 Images
IMAGES READ β†—

ArXiv Paper 2501.05435v1

2501.05435v1

1 Image
IMAGES READ β†—

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

2501.04519v1

7 Images
IMAGES READ β†—

Enhancing Reasoning through Process Supervision with Monte Carlo Tree Search

2501.01478v1

1 Image
IMAGES READ β†—

2412.20848v1

70 Images
IMAGES READ β†—

2412.19545v2

5 Images
IMAGES READ β†—

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

2412.16953v2

16 Images
IMAGES READ β†—

OpenAI o1 System Card

2412.16720v1

33 Images
IMAGES READ β†—

Formal Mathematical Reasoning: A New Frontier in AI

2412.16075v1

5 Images
IMAGES READ β†—

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

2412.15084v2

5 Images
IMAGES READ β†—

Compressed Chain of Thought: Efficient Reasoning Through Dense Representations

2412.13171v1

1 Image
IMAGES READ β†—

Inferring Functionality of Attention Heads from their Parameters

2412.11965v2

24 Images
IMAGES READ β†—

Entropy-Regularized Process Reward Model

2412.11006v2

2 Images
IMAGES READ β†—

Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection

2412.08457v2

10 Images
IMAGES READ β†—

Zero-Shot Mono-to-Binaural Speech Synthesis

2412.08356v2

3 Images
IMAGES READ β†—

ArXiv Paper 2412.06769v1

2412.06769v1

9 Images
IMAGES READ β†—

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

2412.05563v2

17 Images
IMAGES READ β†—

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

2411.13537v2

9 Images
IMAGES READ β†—

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

2411.04872v7

6 Images
IMAGES READ β†—

Fighting Spurious Correlations in Text Classification via a Causal Learning Perspective

2411.01045v3

2 Images
IMAGES READ β†—

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

2411.00053v3

9 Images
IMAGES READ β†—

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

2410.21360v2

6 Images
IMAGES READ β†—

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

2410.21287v1

13 Images
IMAGES READ β†—

Trustworthy XAI and Application

2410.17139v2

14 Images
IMAGES READ β†—

On Designing Effective RL Reward at Training Time for LLM Reasoning

2410.15115v3

3 Images
IMAGES READ β†—

ArXiv Paper 2410.14728v1

2410.14728v1

3 Images
IMAGES READ β†—

Unknown Title

2410.14211v4

24 Images
IMAGES READ β†—

On the Role of Attention Heads in Large Language Model Safety

2410.13708v2

16 Images
IMAGES READ β†—

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

2410.13080v2

6 Images
IMAGES READ β†—

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree

2410.12048v1

2 Images
IMAGES READ β†—

A Scalable Communication Protocol for Networks of Large Language Models

2410.11905v1

21 Images
IMAGES READ β†—

2410.11407v1

2 Images
IMAGES READ β†—

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

2410.09275v1

15 Images
IMAGES READ β†—

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

2410.09008v3

5 Images
IMAGES READ β†—

2410.08146v1

11 Images
IMAGES READ β†—

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

2410.06916v2

18 Images
IMAGES READ β†—

2410.06468v2

29 Images
IMAGES READ β†—

LeanAgent: Lifelong Learning for Formal Theorem Proving

2410.06209v8

35 Images
IMAGES READ β†—

SecAlign: Defending Against Prompt Injection with Preference Optimization

2410.05451v3

9 Images
IMAGES READ β†—

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

2410.04444v4

6 Images
IMAGES READ β†—

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

2410.03595v1

9 Images
IMAGES READ β†—

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

2410.02707v4

24 Images
IMAGES READ β†—

Interpretable Contrastive Monte Carlo Tree Search Reasoning

2410.01707v3

13 Images
IMAGES READ β†—

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

2410.00396v2

5 Images
IMAGES READ β†—

Accelerating stencils on the Tenstorrent Grayskull RISC-V accelerator

2409.18835v1

6 Images
IMAGES READ β†—

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

2409.17270v2

8 Images
IMAGES READ β†—

2409.09271v1

5 Images
IMAGES READ β†—

Curvature induces and enhances transport of spinning colloids through narrow channels

2409.07661v1

9 Images
IMAGES READ β†—

Focus Agent: LLM-Powered Virtual Focus Group

2409.01907v1

6 Images
IMAGES READ β†—

Self-evolving Agents with reflective and memory-augmented abilities

2409.00872v2

4 Images
IMAGES READ β†—

Physics-Informed Machine Learning For Sound Field Estimation

2408.14731v1

10 Images
IMAGES READ β†—

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

2408.12894v2

19 Images
IMAGES READ β†—

2408.11903v2

16 Images
IMAGES READ β†—

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

2408.11367v2

12 Images
IMAGES READ β†—

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

2408.11042v1

12 Images
IMAGES READ β†—

ArXiv Paper 2408.01933v1

2408.01933v1

10 Images
IMAGES READ β†—

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

2407.19483v2

22 Images
IMAGES READ β†—

Virtue Ethics For Ethically Tunable Robotic Assistants

2407.16361v1

5 Images
IMAGES READ β†—

CiteME: Can Language Models Accurately Cite Scientific Claims?

2407.12861v2

19 Images
IMAGES READ β†—

Truth is Universal: Robust Detection of Lies in LLMs

2407.12831v2

51 Images
IMAGES READ β†—

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

2407.12532v1

7 Images
IMAGES READ β†—

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

2407.08516v5

4 Images
IMAGES READ β†—

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

2407.07263v1

7 Images
IMAGES READ β†—

Graph Reasoning Networks

2407.05816v1

1 Image
IMAGES READ β†—

LogicVista: Multimodal LLM Logical Reasoning Benchmark in Visual Contexts

2407.04973v1

29 Images
IMAGES READ β†—

Self-Cognition in Large Language Models: An Exploratory Study

2407.01505v1

9 Images
IMAGES READ β†—

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

2407.01178v1

18 Images
IMAGES READ β†—

PUZZLES: A Benchmark for Neural Algorithmic Reasoning

2407.00401v1

44 Images
IMAGES READ β†—

LLMEasyQuant: Scalable Quantization for Parallel and Distributed LLM Inference

2406.19657v6

6 Images
IMAGES READ β†—

2406.19502v2

37 Images
IMAGES READ β†—

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

2406.18629v1

7 Images
IMAGES READ β†—

Sound Field Synthesis with Acoustic Waves

2406.17111v2

5 Images
IMAGES READ β†—

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

2406.13975v3

11 Images
IMAGES READ β†—

ArXiv Paper 2406.13803v1

2406.13803v1

15 Images
IMAGES READ β†—

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

2406.08391v3

92 Images
IMAGES READ β†—

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

2406.07545v1

9 Images
IMAGES READ β†—

A Probabilistic Framework for LLM Hallucination Detection via Belief Tree Propagation

2406.06950v2

6 Images
IMAGES READ β†—

Improve Mathematical Reasoning in Language Models by Automated Process Supervision

2406.06592v2

13 Images
IMAGES READ β†—

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

2406.05569v1

3 Images
IMAGES READ β†—

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

2406.05516v4

4 Images
IMAGES READ β†—

ArXiv Paper 2406.04271v1

2406.04271v1

11 Images
IMAGES READ β†—

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

2406.03816v3

7 Images
IMAGES READ β†—

Cycles of Thought: Measuring LLM Confidence through Stable Explanations

2406.03441v1

14 Images
IMAGES READ β†—

ArXiv Paper 2406.01940v1

2406.01940v1

1 Image
IMAGES READ β†—

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

2406.01225v1

2 Images
IMAGES READ β†—

Federated Model Heterogeneous Matryoshka Representation Learning

2406.00488v1

24 Images
IMAGES READ β†—

Jina CLIP: Your CLIP Model Is Also Your Text Retriever

2405.20204v2

1 Image
IMAGES READ β†—

Unknown Title

2405.17430v2

6 Images
IMAGES READ β†—

Assessing LLMs Suitability for Knowledge Graph Completion

2405.17249v2

1 Image
IMAGES READ β†—

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

2405.15793v3

30 Images
IMAGES READ β†—

2405.15007v1

9 Images
IMAGES READ β†—

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

2405.10957v1

11 Images
IMAGES READ β†—

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

2405.06682v3

4 Images
IMAGES READ β†—

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

2405.06399v1

11 Images
IMAGES READ β†—

2405.05710v6

10 Images
IMAGES READ β†—

Monte Carlo Tree Search Boosts Reasoning via Iterative Preference Learning

2405.00451v2

12 Images
IMAGES READ β†—

Better & Faster Large Language Models via Multi-token Prediction

2404.19737v1

17 Images
IMAGES READ β†—

2404.18982v2

4 Images
IMAGES READ β†—

Uncertainty Estimation and Quantification for LLMs: A Simple Supervised Approach

2404.15993v4

17 Images
IMAGES READ β†—

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

2404.14812v2

5 Images
IMAGES READ β†—

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

2404.12534v3

6 Images
IMAGES READ β†—

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

2404.07972v2

26 Images
IMAGES READ β†—

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

2404.07382v3

8 Images
IMAGES READ β†—

THOUGHTSCULPT: Reasoning with Intermediate Revision and Search

2404.05966v2

7 Images
IMAGES READ β†—

2404.05221v2

8 Images
IMAGES READ β†—

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

2404.04293v1

4 Images
IMAGES READ β†—

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

2403.17898v2

13 Images
IMAGES READ β†—

ArXiv Paper 2403.15122v1

2403.15122v1

1 Image
IMAGES READ β†—

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

2403.09724v4

11 Images
IMAGES READ β†—

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

2403.06309v2

2 Images
IMAGES READ β†—

2403.05530v5

33 Images
IMAGES READ β†—

2403.05516v1

4 Images
IMAGES READ β†—

Tokenization Is More Than Compression

2402.18376v2

22 Images
IMAGES READ β†—

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

2402.14660v2

31 Images
IMAGES READ β†—

2402.14160v2

9 Images
IMAGES READ β†—

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

2402.12715v4

7 Images
IMAGES READ β†—

EVOR: Evolving Retrieval for Code Generation

2402.12317v2

6 Images
IMAGES READ β†—

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

2402.11100v2

7 Images
IMAGES READ β†—

Inference to the Best Explanation in Large Language Models

2402.10767v2

19 Images
IMAGES READ β†—

2402.10200v1

7 Images
IMAGES READ β†—

Unknown Title

2402.09267v2

5 Images
IMAGES READ β†—

StruQ: Defending Against Prompt Injection with Structured Queries

2402.06363v2

2 Images
IMAGES READ β†—

A Survey on Transformer Compression

2402.05964v2

14 Images
IMAGES READ β†—

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

2402.03744v2

13 Images
IMAGES READ β†—

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

2402.02834v2

8 Images
IMAGES READ β†—

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

2402.02611v3

15 Images
IMAGES READ β†—

Executable Code Actions Elicit Better LLM Agents

2402.01030v4

4 Images
IMAGES READ β†—

ArXiv Paper 2402.00342v1

2402.00342v1

15 Images
IMAGES READ β†—

The Case for Co-Designing Model Architectures with Hardware

2401.14489v2

53 Images
IMAGES READ β†—

A generic model of consciousness

2401.13690v1

1 Image
IMAGES READ β†—

Unknown Title

2401.12345v3

12 Images
IMAGES READ β†—

2401.12061v1

14 Images
IMAGES READ β†—

Unknown Title

2401.10020v3

11 Images
IMAGES READ β†—

2401.07324v3

7 Images
IMAGES READ β†—

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

2312.12878v1

4 Images
IMAGES READ β†—

2312.11805v5

30 Images
IMAGES READ β†—

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

2312.08935v3

9 Images
IMAGES READ β†—

Reconstruction of Sound Field through Diffusion Models

2312.08821v2

3 Images
IMAGES READ β†—

Active Inference and Intentional Behaviour

2312.07547v2

9 Images
IMAGES READ β†—

Arbitrary Ground State Observables from Quantum Computed Moments

2312.06975v1

2 Images
IMAGES READ β†—

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

2312.04684v4

8 Images
IMAGES READ β†—

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

2312.04474v4

16 Images
IMAGES READ β†—

2311.14722v1

18 Images
IMAGES READ β†—

2311.09277v1

4 Images
IMAGES READ β†—

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

2311.08516v3

4 Images
IMAGES READ β†—

Real-Time Probabilistic Programming

2311.06788v2

14 Images
IMAGES READ β†—

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

2311.05232v2

3 Images
IMAGES READ β†—

CausalCite: A Causal Formulation of Paper Citations

2311.02790v3

9 Images
IMAGES READ β†—

2311.02294v1

2 Images
IMAGES READ β†—

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

2310.17004v2

8 Images
IMAGES READ β†—

Constructing disjoint Steiner trees in SierpiΕ„ski graphs

2310.16463v3

7 Images
IMAGES READ β†—

2310.08560v2

8 Images
IMAGES READ β†—

Prometheus: Inducing Fine-grained Evaluation Capability in Language Models

2310.08491v2

22 Images
IMAGES READ β†—

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

2310.08295v1

1 Image
IMAGES READ β†—

2310.06846v1

4 Images
IMAGES READ β†—

2310.04959v1

3 Images
IMAGES READ β†—

An In-Context Learning Agent for Formal Theorem-Proving

2310.04353v5

7 Images
IMAGES READ β†—

SimLOD: Simultaneous LOD Generation and Rendering

2310.03567v1

15 Images
IMAGES READ β†—

Large Language Models as Analogical Reasoners

2310.01714v3

3 Images
IMAGES READ β†—

2309.16509v1

2 Images
IMAGES READ β†—

2309.12731v1

1 Image
IMAGES READ β†—

Cognitive Architectures for Language Agents

2309.02427v3

5 Images
IMAGES READ β†—

2308.16118v2

7 Images
IMAGES READ β†—

2308.12400v1

5 Images
IMAGES READ β†—

SoK: Machine Learning for Misinformation Detection

2308.12215v4

1 Image
IMAGES READ β†—

A Survey on Large Language Model based Autonomous Agents

2308.11432v7

5 Images
IMAGES READ β†—

2308.09853v1

7 Images
IMAGES READ β†—

Consciousness in Artificial Intelligence: Insights from the Science of Consciousness

2308.08708v3

9 Images
IMAGES READ β†—

2308.05374v2

30 Images
IMAGES READ β†—

2308.04623v1

3 Images
IMAGES READ β†—

Universal and Transferable Adversarial Attacks on Aligned Language Models

2307.15043v2

11 Images
IMAGES READ β†—

2307.13992v2

6 Images
IMAGES READ β†—

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

2307.13941v1

5 Images
IMAGES READ β†—

2307.10573v1

4 Images
IMAGES READ β†—

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

2306.17462v2

2 Images
IMAGES READ β†—

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

2306.13063v2

9 Images
IMAGES READ β†—

Reward Shaping via Diffusion Process in Reinforcement Learning

2306.11885v1

1 Image
IMAGES READ β†—

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

2306.11432v1

1 Image
IMAGES READ β†—

ArXiv Paper 2306.09896v1

2306.09896v1

32 Images
IMAGES READ β†—

Unifying Large Language Models and Knowledge Graphs: A Roadmap

2306.08302v3

26 Images
IMAGES READ β†—

2305.17626v2

19 Images
IMAGES READ β†—

Unified Fairness for Weak Memory Verification

2305.17605v2

3 Images
IMAGES READ β†—

2305.17306v1

1 Image
IMAGES READ β†—

Think Before You Act: Decision Transformers with Working Memory

2305.16338v3

10 Images
IMAGES READ β†—

2305.10459v1

10 Images
IMAGES READ β†—

2305.10250v3

4 Images
IMAGES READ β†—

On the Security Risks of Knowledge Graph Reasoning

2305.02383v2

14 Images
IMAGES READ β†—

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

2305.01157v3

8 Images
IMAGES READ β†—

2305.00512v1

1 Image
IMAGES READ β†—

2304.10877v1

6 Images
IMAGES READ β†—

2304.09590v1

7 Images
IMAGES READ β†—

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

2304.09276v2

9 Images
IMAGES READ β†—

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

2304.07737v3

8 Images
IMAGES READ β†—

How well do SOTA legal reasoning models support abductive reasoning?

2304.06912v2

1 Image
IMAGES READ β†—

NeuroBench: A Framework for Benchmarking Neuromorphic Computing Algorithms and Systems

2304.04640v5

15 Images
IMAGES READ β†—

2303.14061v4

7 Images
IMAGES READ β†—

Unknown Title

2303.11366v4

8 Images
IMAGES READ β†—

2303.08896v3

10 Images
IMAGES READ β†—

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

2303.03362v2

3 Images
IMAGES READ β†—

2302.12433v1

1 Image
IMAGES READ β†—

2302.06457v3

8 Images
IMAGES READ β†—

2302.06417v1

10 Images
IMAGES READ β†—

2302.04761v1

2 Images
IMAGES READ β†—

Visual Description

2301.11087v1

4 Images
IMAGES READ β†—

2301.04788v1

5 Images
IMAGES READ β†—

2301.03724v1

9 Images
IMAGES READ β†—

2212.14787v1

11 Images
IMAGES READ β†—

Emergent Analogical Reasoning in Large Language Models

2212.09196v3

14 Images
IMAGES READ β†—

2212.08427v2

9 Images
IMAGES READ β†—

DopplerBAS: Binaural Audio Synthesis Addressing Doppler Effect

2212.07000v3

1 Image
IMAGES READ β†—

2212.02872v1

15 Images
IMAGES READ β†—

2211.12877v1

7 Images
IMAGES READ β†—

Neural Meta-Symbolic Reasoning and Learning

2211.11650v2

20 Images
IMAGES READ β†—

Automatic Change-Point Detection in Time Series via Deep Learning

2211.03860v3

25 Images
IMAGES READ β†—

2210.15016v2

5 Images
IMAGES READ β†—

Inferring Past Human Actions in Homes with Abductive Reasoning

2210.13984v5

11 Images
IMAGES READ β†—

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

2210.12344v2

15 Images
IMAGES READ β†—

2210.08119v1

2 Images
IMAGES READ β†—

2210.02574v1

1 Image
IMAGES READ β†—

2209.14021v1

3 Images
IMAGES READ β†—

2209.08750v1

5 Images
IMAGES READ β†—

2208.14037v1

2 Images
IMAGES READ β†—

2208.08125v2

17 Images
IMAGES READ β†—

2207.14140v1

10 Images
IMAGES READ β†—

2207.14070v2

7 Images
IMAGES READ β†—

2207.13596v2

1 Image
IMAGES READ β†—

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

2207.04053v4

5 Images
IMAGES READ β†—

BAST: Binaural Audio Spectrogram Transformer for Binaural Sound Localization

2207.03927v2

6 Images
IMAGES READ β†—

End-to-End Binaural Speech Synthesis

2207.03697v1

6 Images
IMAGES READ β†—

2207.02337v1

2 Images
IMAGES READ β†—

2206.07185v2

4 Images
IMAGES READ β†—

2206.03780v2

5 Images
IMAGES READ β†—

2206.01859v1

4 Images
IMAGES READ β†—

Matryoshka Representation Learning

2205.13147v4

21 Images
IMAGES READ β†—

Deep Multi-Frame MVDR Filtering for Binaural Noise Reduction

2205.08983v2

2 Images
IMAGES READ β†—

2205.06259v1

1 Image
IMAGES READ β†—

2205.03854v1

4 Images
IMAGES READ β†—

2204.06790v2

4 Images
IMAGES READ β†—

2204.02484v1

11 Images
IMAGES READ β†—

2203.16487v6

6 Images
IMAGES READ β†—

2203.15556v1

15 Images
IMAGES READ β†—

2203.11171v4

9 Images
IMAGES READ β†—

A Survey of Multi-Agent Deep Reinforcement Learning with Communication

2203.08975v2

12 Images
IMAGES READ β†—

2202.13758v3

4 Images
IMAGES READ β†—

2202.12292v2

3 Images
IMAGES READ β†—

2202.10706v2

4 Images
IMAGES READ β†—

Diffusion Causal Models for Counterfactual Estimation

2202.10166v1

7 Images
IMAGES READ β†—

2202.07380v2

6 Images
IMAGES READ β†—

2202.04800v2

23 Images
IMAGES READ β†—

2202.02891v1

7 Images
IMAGES READ β†—

2201.12885v1

9 Images
IMAGES READ β†—

2201.11903v6

11 Images
IMAGES READ β†—

2201.09305v1

1 Image
IMAGES READ β†—

2201.05464v1

3 Images
IMAGES READ β†—

Towards Maximizing a Perceptual Sweet Spot

2201.01461v2

3 Images
IMAGES READ β†—

Long Story Short: Omitted Variable Bias in Causal Machine Learning

2112.13398v5

8 Images
IMAGES READ β†—

2112.10664v1

2 Images
IMAGES READ β†—

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

2112.08581v7

9 Images
IMAGES READ β†—

2112.06641v1

1 Image
IMAGES READ β†—

Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks

2112.03324v1

6 Images
IMAGES READ β†—

2111.13251v1

2 Images
IMAGES READ β†—

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

2111.10882v1

7 Images
IMAGES READ β†—

2111.08404v1

20 Images
IMAGES READ β†—

2111.08054v3

6 Images
IMAGES READ β†—

2111.06737v1

3 Images
IMAGES READ β†—

2111.02123v1

5 Images
IMAGES READ β†—

2110.11290v1

10 Images
IMAGES READ β†—

2110.10200v1

10 Images
IMAGES READ β†—

2109.05472v2

17 Images
IMAGES READ β†—

2108.09836v2

4 Images
IMAGES READ β†—

2108.07380v2

16 Images
IMAGES READ β†—

2108.07369v1

17 Images
IMAGES READ β†—

2108.07258v3

27 Images
IMAGES READ β†—

2107.07169v1

4 Images
IMAGES READ β†—

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

2106.15659v1

8 Images
IMAGES READ β†—

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

2106.14681v1

2 Images
IMAGES READ β†—

2106.03973v1

7 Images
IMAGES READ β†—

2105.14273v2

3 Images
IMAGES READ β†—

2105.02314v1

1 Image
IMAGES READ β†—

Visually Informed Binaural Audio Generation without Binaural Audios

2104.06162v1

5 Images
IMAGES READ β†—

2103.14434v1

1 Image
IMAGES READ β†—

2103.10296v1

9 Images
IMAGES READ β†—

2103.07769v2

1 Image
IMAGES READ β†—

2103.02157v1

7 Images
IMAGES READ β†—

2102.10717v2

9 Images
IMAGES READ β†—

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

2102.06455v1

9 Images
IMAGES READ β†—

2101.03403v1

28 Images
IMAGES READ β†—

2011.12750v2

1 Image
IMAGES READ β†—

2011.03870v1

3 Images
IMAGES READ β†—

2011.00596v2

5 Images
IMAGES READ β†—

2009.11248v1

11 Images
IMAGES READ β†—

2009.05815v1

4 Images
IMAGES READ β†—

2007.04929v2

3 Images
IMAGES READ β†—

2007.02114v1

8 Images
IMAGES READ β†—

2006.07478v1

6 Images
IMAGES READ β†—

2006.06580v3

4 Images
IMAGES READ β†—

2006.05649v2

7 Images
IMAGES READ β†—

2006.02757v2

10 Images
IMAGES READ β†—

2005.12968v1

4 Images
IMAGES READ β†—

2004.14942v1

14 Images
IMAGES READ β†—

2004.03573v5

9 Images
IMAGES READ β†—

2003.04845v2

6 Images
IMAGES READ β†—

2003.03729v1

2 Images
IMAGES READ β†—

Sound field reconstruction in rooms: inpainting meets super-resolution

2001.11263v2

11 Images
IMAGES READ β†—

2001.08361v1

24 Images
IMAGES READ β†—

1912.06101v1

12 Images
IMAGES READ β†—

1911.12200v1

1 Image
IMAGES READ β†—

1911.08905v1

7 Images
IMAGES READ β†—

1910.05018v1

2 Images
IMAGES READ β†—

1909.08383v3

10 Images
IMAGES READ β†—

1908.05739v2

6 Images
IMAGES READ β†—

1907.02893v3

6 Images
IMAGES READ β†—

1905.09381v1

5 Images
IMAGES READ β†—

Binaural LCMV Beamforming with Partial Noise Estimation

1905.04050v2

8 Images
IMAGES READ β†—

Unknown Title

1904.07272v8

7 Images
IMAGES READ β†—

1904.01605v1

4 Images
IMAGES READ β†—

Which is the least complex explanation? Abduction and complexity βˆ—

1902.05479v1

2 Images
IMAGES READ β†—

1812.06161v1

7 Images
IMAGES READ β†—

1811.10656v1

2 Images
IMAGES READ β†—

1811.02440v1

8 Images
IMAGES READ β†—

1809.07124v2

1 Image
IMAGES READ β†—

1809.04028v2

9 Images
IMAGES READ β†—

1809.00858v1

6 Images
IMAGES READ β†—

1809.00626v1

1 Image
IMAGES READ β†—

1807.10695v1

7 Images
IMAGES READ β†—

1807.00504v1

5 Images
IMAGES READ β†—

Integrating Stance Detection and Fact Checking in a Unified Corpus

1804.08012v1

3 Images
IMAGES READ β†—

1804.03606v1

1 Image
IMAGES READ β†—

1802.07569v4

5 Images
IMAGES READ β†—

1802.05668v1

1 Image
IMAGES READ β†—

1802.01173v2

5 Images
IMAGES READ β†—

1801.04819v3

11 Images
IMAGES READ β†—

1801.01554v1

12 Images
IMAGES READ β†—

Spectre Attacks: Exploiting Speculative Execution βˆ—

1801.01203v1

1 Image
IMAGES READ β†—

1711.00455v3

11 Images
IMAGES READ β†—

A report on sound event detection with different binaural features

1710.02997v1

1 Image
IMAGES READ β†—

1709.08992v2

1 Image
IMAGES READ β†—

1707.09430v1

2 Images
IMAGES READ β†—

1707.06967v1

4 Images
IMAGES READ β†—

1707.02038v3

21 Images
IMAGES READ β†—

1706.05261v1

1 Image
IMAGES READ β†—

Unknown Title

1706.03762v7

8 Images
IMAGES READ β†—

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

1706.03661v2

8 Images
IMAGES READ β†—

1706.02744v2

5 Images
IMAGES READ β†—

1706.01764v1

8 Images
IMAGES READ β†—

1704.03767v1

6 Images
IMAGES READ β†—

1703.03400v3

7 Images
IMAGES READ β†—

1701.06564v4

6 Images
IMAGES READ β†—

1701.01189v2

9 Images
IMAGES READ β†—

1612.04432v1

3 Images
IMAGES READ β†—

1612.00796v2

4 Images
IMAGES READ β†—

1611.07100v2

6 Images
IMAGES READ β†—

1611.01578v2

8 Images
IMAGES READ β†—

1610.08254v1

7 Images
IMAGES READ β†—

1609.08737v1

4 Images
IMAGES READ β†—

Relaxed Binaural LCMV Beamforming

1609.03213v1

10 Images
IMAGES READ β†—

1609.00672v5

18 Images
IMAGES READ β†—

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

1607.08723v1

5 Images
IMAGES READ β†—

1603.07704v2

12 Images
IMAGES READ β†—

1603.01980v6

6 Images
IMAGES READ β†—

1506.03880v2

16 Images
IMAGES READ β†—

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

1506.03604v1

3 Images
IMAGES READ β†—

1506.03264v1

8 Images
IMAGES READ β†—

1505.02463v2

2 Images
IMAGES READ β†—

1410.5401v2

18 Images
IMAGES READ β†—

1409.0473v7

3 Images
IMAGES READ β†—

Unknown Title

1405.7615v2

2 Images
IMAGES READ β†—

Unknown Title

1405.3322v5

3 Images
IMAGES READ β†—

Unknown Title

1404.6293v2

9 Images
IMAGES READ β†—

Natural statistics of binaural sounds

1402.4648v2

13 Images
IMAGES READ β†—

Unknown Title

1401.7494v1

3 Images
IMAGES READ β†—

Unknown Title

1305.5786v2

70 Images
IMAGES READ β†—

Unknown Title

1303.1506v1

3 Images
IMAGES READ β†—

Unknown Title

1206.3255v2

4 Images
IMAGES READ β†—

Unknown Title

1204.2907v1

14 Images
IMAGES READ β†—

Unknown Title

1201.3496v1

8 Images
IMAGES READ β†—

Unknown Title

1106.0218v1

4 Images
IMAGES READ β†—

Unknown Title

1105.5449v1

17 Images
IMAGES READ β†—

Unknown Title

1105.1917v1

6 Images
IMAGES READ β†—

Unknown Title

1008.4239v1

7 Images
IMAGES READ β†—

Unknown Title

1003.2086v2

17 Images
IMAGES READ β†—

Unknown Title

0911.3482v5

10 Images
IMAGES READ β†—

Unknown Title

0905.4057v1

7 Images
IMAGES READ β†—

Inconsistency Robustness for Logic Programs

0904.3036v41

2 Images
IMAGES READ β†—

Unknown Title

0810.5078v1

1 Image
IMAGES READ β†—

Unknown Title

0710.3742v1

4 Images
IMAGES READ β†—

Visual Description

0710.2442v1

5 Images
IMAGES READ β†—

Causal Concept Graphs in LLM Latent Space for Stepwise Reasoning

2603.10377v1

0 Images
IMAGES READ β†—

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

2603.09731v1

0 Images
IMAGES READ β†—

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

2603.09478v1

0 Images
IMAGES READ β†—

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

2603.08765v1

0 Images
IMAGES READ β†—

DiverXplorer: Stock Image Exploration via Diversity Adjustment for Graphic Design

2603.08584v1

0 Images
IMAGES READ β†—

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

2603.07786v1

0 Images
IMAGES READ β†—

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

2603.07728v1

0 Images
IMAGES READ β†—

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

2603.07306v1

0 Images
IMAGES READ β†—

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

2603.04852v1

0 Images
IMAGES READ β†—

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

2603.04412v1

0 Images
IMAGES READ β†—

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

2603.03844v1

0 Images
IMAGES READ β†—

Local Relaxation Fast Poisson Methods on Hierarchical Meshes

2603.02763v1

0 Images
IMAGES READ β†—

Higher-order interactions at scientific conferences influence team formation

2603.02571v1

0 Images
IMAGES READ β†—

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

2603.00873v1

0 Images
IMAGES READ β†—

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

2603.00719v1

0 Images
IMAGES READ β†—

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

2603.00324v1

0 Images
IMAGES READ β†—

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

2603.00296v1

0 Images
IMAGES READ β†—

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

2603.00037v1

0 Images
IMAGES READ β†—

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

2602.23491v1

0 Images
IMAGES READ β†—

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

2602.23306v1

0 Images
IMAGES READ β†—

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

2602.12463v1

0 Images
IMAGES READ β†—

Neuro-Symbolic Synergy for Interactive World Modeling

2602.10480v3

0 Images
IMAGES READ β†—

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

2602.07455v1

0 Images
IMAGES READ β†—

Unknown Title

2602.04006v1

7 Images
IMAGES READ β†—

Unknown Title

2602.03338v1

1 Image
IMAGES READ β†—

ArXiv Paper 2602.02635v1

2602.02635v1

0 Images
IMAGES READ β†—

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

2602.02584v1

0 Images
IMAGES READ β†—

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

2602.02412v1

0 Images
IMAGES READ β†—

Unknown Title

2602.00307v1

9 Images
IMAGES READ β†—

Unknown Title

2601.22881v1

1 Image
IMAGES READ β†—

2601.22881

1 Image
IMAGES READ

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

2601.17188v1

0 Images
IMAGES READ β†—

Unknown Title

2601.10527v2

19 Images
IMAGES READ β†—

Quantum automated theorem proving

2601.07953v1

0 Images
IMAGES READ β†—

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

2601.01982v1

0 Images
IMAGES READ β†—

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

2601.00828v1

0 Images
IMAGES READ β†—

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

2512.24045v2

0 Images
IMAGES READ β†—

ArXiv Paper 2512.23944v1

2512.23944v1

0 Images
IMAGES READ β†—

On $GL(1|1)$ Higgs bundles

2512.23909v1

0 Images
IMAGES READ β†—

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

2512.23886v1

0 Images
IMAGES READ β†—

Multigraphs and Time Ordered Isserlis-Wick formulae

2512.23845v2

0 Images
IMAGES READ β†—

ArXiv Paper 2512.23830v1

2512.23830v1

0 Images
IMAGES READ β†—

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

2512.23823v1

0 Images
IMAGES READ β†—

Stochastic Galerkin Method and Hierarchical Preconditioning for PDE-constrained Optimization

2512.23804v2

0 Images
IMAGES READ β†—

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

2512.23802v1

0 Images
IMAGES READ β†—

Linear Preservers of Real Matrix Classes Admitting a Real Logarithm

2512.23735v1

0 Images
IMAGES READ β†—

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

2512.23733v2

0 Images
IMAGES READ β†—

State over Tokens: Characterizing the Role of Reasoning Tokens

2512.12777v1

0 Images
IMAGES READ β†—

Unknown Title

2512.11545v1

14 Images
IMAGES READ β†—

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
IMAGES READ β†—

2512.06777v1

0 Images
IMAGES READ β†—

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

2511.17644v1

0 Images
IMAGES READ β†—

Mathematics: the Rise of the Machines

2511.17203v1

0 Images
IMAGES READ β†—

Reasoning: From Reflection to Solution

2511.11712v1

0 Images
IMAGES READ β†—

Unknown Title

2511.02844v2

5 Images
IMAGES READ β†—

Fortytwo: Swarm Inference with Peer-Ranked Consensus

2510.24801v1

0 Images
IMAGES READ β†—

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

2510.24798v1

0 Images
IMAGES READ β†—

Unknown Title

2510.18395v1

7 Images
IMAGES READ β†—

Unknown Title

2510.13999v1

20 Images
IMAGES READ β†—

Trust in Transparency: How Explainable AI Shapes User Perceptions

2510.04968v1

0 Images
IMAGES READ β†—

Unknown Title

2510.03902v1

3 Images
IMAGES READ β†—

2510.03902

3 Images
IMAGES READ

ArXiv Paper 2510.01346v1

2510.01346v1

0 Images
IMAGES READ β†—

Unknown Title

2509.26626v1

10 Images
IMAGES READ β†—

Unknown Title

2509.18710v2

8 Images
IMAGES READ β†—

Unknown Title

2509.09677v2

19 Images
IMAGES READ β†—

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

2509.09381v2

0 Images
IMAGES READ β†—

Unknown Title

2509.03047v1

12 Images
IMAGES READ β†—

Efficient Code Embeddings from Code Generation Models

2508.21290v1

0 Images
IMAGES READ β†—

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

2508.19828v5

0 Images
IMAGES READ β†—

Unknown Title

2508.17627v2

12 Images
IMAGES READ β†—

SupraTok: Cross-Boundary Tokenization for Enhanced Language Model Performance

2508.11857v2

0 Images
IMAGES READ β†—

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

2508.08322v1

0 Images
IMAGES READ β†—

2508.00190v1

0 Images
IMAGES READ β†—

Self-Supervised Inductive Logic Programming

2507.16405v2

0 Images
IMAGES READ β†—

Defining neurosymbolic AI

2507.11127v1

0 Images
IMAGES READ β†—

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

2507.09751v2

0 Images
IMAGES READ β†—

Unknown Title

2507.01376v1

3 Images
IMAGES READ β†—

2507.01376

3 Images
IMAGES READ

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems

2506.17331v1

0 Images
IMAGES READ β†—

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

2506.16015v1

0 Images
IMAGES READ β†—

LeanExplore: A search engine for Lean 4 declarations

2506.11085v1

0 Images
IMAGES READ β†—

Abstraction-Based Proof Production in Formal Verification of Neural Networks

2506.09455v1

0 Images
IMAGES READ β†—

Unknown Title

2506.04569v1

12 Images
IMAGES READ β†—

2506.04569

12 Images
IMAGES READ

Unknown Title

2506.03691v2

6 Images
IMAGES READ β†—

2506.03691

6 Images
IMAGES READ

Hermes: High-Performance Homomorphically Encrypted Vector Databases

2506.03308v2

0 Images
IMAGES READ β†—

Unknown Title

2505.23480v1

2 Images
IMAGES READ β†—

Not Minds, but Signs: Reframing LLMs through Semiotics

2505.17080v2

0 Images
IMAGES READ β†—

Unknown Title

2505.14604v4

4 Images
IMAGES READ β†—

Unknown Title

2505.13763v2

27 Images
IMAGES READ β†—

2505.13763

27 Images
IMAGES READ

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

2504.18601v1

0 Images
IMAGES READ β†—

Unknown Title

2504.14520v1

5 Images
IMAGES READ β†—

2504.14520

5 Images
IMAGES READ

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

2504.05496v1

0 Images
IMAGES READ β†—

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

2503.15850v2

0 Images
IMAGES READ β†—

2503.12161v1

0 Images
IMAGES READ β†—

Unknown Title

2503.04404v2

35 Images
IMAGES READ β†—

Tutorial Proposal: Speculative Decoding for Efficient LLM Inference

2503.00491v1

0 Images
IMAGES READ β†—

Unknown Title

2502.14920v1

6 Images
IMAGES READ β†—

Unknown Title

2502.12086v3

7 Images
IMAGES READ β†—

2502.12086

7 Images
IMAGES READ

An atomic decomposition of one-dimensional metric currents without boundary

2502.09871v1

0 Images
IMAGES READ β†—

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

2502.09053v2

0 Images
IMAGES READ β†—

Unknown Title

2502.06806v4

8 Images
IMAGES READ β†—

Unknown Title

2502.02533v2

9 Images
IMAGES READ β†—

2502.02533

9 Images
IMAGES READ

Unknown Title

2502.01618v5

11 Images
IMAGES READ β†—

Unknown Title

2501.11613v7

7 Images
IMAGES READ β†—

2501.11613

7 Images
IMAGES READ

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

2501.09912v2

0 Images
IMAGES READ β†—

Unknown Title

2501.09244v1

4 Images
IMAGES READ β†—

2501.03249v1

0 Images
IMAGES READ β†—

Unknown Title

2412.19437v2

15 Images
IMAGES READ β†—

Unknown Title

2411.08561v5

8 Images
IMAGES READ β†—

Enaction for QBists

2411.04230v2

0 Images
IMAGES READ β†—

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

2410.15639v5

0 Images
IMAGES READ β†—

ArXiv Paper 2410.15236v1

2410.15236v1

0 Images
IMAGES READ β†—

Unknown Title

2410.13999v2

1 Image
IMAGES READ β†—

2410.12509v1

0 Images
IMAGES READ β†—

Unknown Title

2410.04343v2

19 Images
IMAGES READ β†—

Surveying the Rust Verification Landscape

2410.01981v1

0 Images
IMAGES READ β†—

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

2408.11944v2

0 Images
IMAGES READ β†—

Abductive Reasoning in a Paraconsistent Framework

2408.07287v2

0 Images
IMAGES READ β†—

Unknown Title

2407.08608v2

19 Images
IMAGES READ β†—

Unknown Title

2407.01489v2

21 Images
IMAGES READ β†—

Unknown Title

2406.13840v1

1 Image
IMAGES READ β†—

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

2406.12398v1

0 Images
IMAGES READ β†—

Neural logic programs and neural nets

2406.11888v1

0 Images
IMAGES READ β†—

Unknown Title

2406.11741v4

16 Images
IMAGES READ β†—

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

2406.09757v2

0 Images
IMAGES READ β†—

The Impossibility of Fair LLMs

2406.03198v2

0 Images
IMAGES READ β†—

Unknown Title

2406.02393v1

32 Images
IMAGES READ β†—

2406.02393

32 Images
IMAGES READ

Towards Dialogues for Joint Human-AI Reasoning and Value Alignment

2405.18073v1

0 Images
IMAGES READ β†—

Unknown Title

2405.14591v1

38 Images
IMAGES READ β†—

Euclidean mirrors and first-order changepoints in network time series

2405.11111v3

0 Images
IMAGES READ β†—

Unknown Title

2405.01503v1

4 Images
IMAGES READ β†—

2405.01503

4 Images
IMAGES READ

2404.19756

25 Images
IMAGES READ

Unknown Title

2404.11130v2

42 Images
IMAGES READ β†—

2404.11130

42 Images
IMAGES READ β†—

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

2404.08448v1

0 Images
IMAGES READ β†—

Unknown Title

2404.05678v4

14 Images
IMAGES READ β†—

Unknown Title

2404.05090v1

9 Images
IMAGES READ β†—

Unknown Title

2404.02258v1

7 Images
IMAGES READ β†—

2404.02258

7 Images
IMAGES READ

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

2404.01677v2

0 Images
IMAGES READ β†—

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
IMAGES READ β†—

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

2404.01230v1

0 Images
IMAGES READ β†—

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

2403.18170v1

0 Images
IMAGES READ β†—

The Sample Complexity of Simple Binary Hypothesis Testing

2403.16981v2

0 Images
IMAGES READ β†—

Unknown Title

2403.16204v1

3 Images
IMAGES READ β†—

A Unified and General Framework for Continual Learning

2403.13249v1

0 Images
IMAGES READ β†—

Unknown Title

2403.11322v5

10 Images
IMAGES READ β†—

Lifted Causal Inference in Relational Domains

2403.10184v1

0 Images
IMAGES READ β†—

Unknown Title

2403.08299v1

3 Images
IMAGES READ β†—

2403.08299

3 Images
IMAGES READ

ArXiv Paper 2403.04017v1

2403.04017v1

0 Images
IMAGES READ β†—

Unknown Title

2403.03507v2

6 Images
IMAGES READ β†—

2403.03507

6 Images
IMAGES READ β†—

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

2403.00685v2

0 Images
IMAGES READ β†—

Homoclinic Floer homology via direct limits

2402.12345v2

6 Images
IMAGES READ β†—

Unknown Title

2402.11173v2

3 Images
IMAGES READ β†—

2402.11173

3 Images
IMAGES READ

Equational theories of idempotent semifields

2402.09876v2

0 Images
IMAGES READ β†—

Who is driving the conversation? Analysing the nodality of British MPs and journalists on social media

2402.08765v3

4 Images
IMAGES READ β†—

Unknown Title

2402.04615v3

17 Images
IMAGES READ β†—

Homogeneity problem for basis expansion of functional data with applications to resistive memories

2402.04321v1

1 Image
IMAGES READ β†—

Universal Gradient Methods for Stochastic Convex Optimization

2402.03210v2

0 Images
IMAGES READ β†—

Online Transfer Learning for RSV Case Detection

2402.01987v2

2 Images
IMAGES READ β†—

Unknown Title

2402.01825v2

16 Images
IMAGES READ β†—

Unknown Title

2402.01761v1

2 Images
IMAGES READ β†—

2402.01761

2 Images
IMAGES READ

Bayesian Deep Learning for Remaining Useful Life Estimation via Stein Variational Gradient Descent

2402.01098v1

8 Images
IMAGES READ β†—

Unknown Title

2401.10774v3

27 Images
IMAGES READ β†—

Online Handbook of Argumentation for AI: Volume 4

2401.09444v1

0 Images
IMAGES READ β†—

Unknown Title

2401.08417v4

5 Images
IMAGES READ β†—

Unknown Title

2401.06066v1

7 Images
IMAGES READ β†—

2401.06066

7 Images
IMAGES READ β†—

Unknown Title

2401.02109v1

8 Images
IMAGES READ β†—

2401.02109

8 Images
IMAGES READ

Unknown Title

2401.00551v1

12 Images
IMAGES READ β†—

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

2312.12559v1

0 Images
IMAGES READ β†—

Unknown Title

2312.10997v5

6 Images
IMAGES READ β†—

2312.10997

6 Images
IMAGES READ

Unknown Title

2312.07104v2

15 Images
IMAGES READ β†—

Unknown Title

2312.05607v3

4 Images
IMAGES READ β†—

Unknown Title

2312.02959v7

27 Images
IMAGES READ β†—

Unknown Title

2311.16857v1

10 Images
IMAGES READ β†—

2311.10215v1

0 Images
IMAGES READ β†—

Levels of AGI for Operationalizing Progress on the Path to AGI

2311.02462v5

0 Images
IMAGES READ β†—

Unknown Title

2311.01282v4

13 Images
IMAGES READ β†—

Unknown Title

2311.00693v2

6 Images
IMAGES READ β†—

Unknown Title

2311.00502v2

4 Images
IMAGES READ β†—

Unknown Title

2311.00287v2

42 Images
IMAGES READ β†—

2311.00287

42 Images
IMAGES READ

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

2310.16781v3

0 Images
IMAGES READ β†—

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

2310.16236v3

0 Images
IMAGES READ β†—

Unknown Title

2310.11511v1

4 Images
IMAGES READ β†—

2310.11511

4 Images
IMAGES READ

Unknown Title

2310.10683v2

3 Images
IMAGES READ β†—

2310.10683

3 Images
IMAGES READ

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

2310.06770v3

0 Images
IMAGES READ β†—

Unknown Title

2310.04406v3

4 Images
IMAGES READ β†—

2310.04406

4 Images
IMAGES READ

Unknown Title

2310.03511v1

4 Images
IMAGES READ β†—

2310.03511

4 Images
IMAGES READ

Unknown Title

2310.01798v2

2 Images
IMAGES READ β†—

2310.01798

2 Images
IMAGES READ

Unknown Title

2309.16365v2

8 Images
IMAGES READ β†—

2309.16365

8 Images
IMAGES READ

Unknown Title

2309.10025v2

5 Images
IMAGES READ β†—

2309.10025

5 Images
IMAGES READ

Unknown Title

2308.10379v3

11 Images
IMAGES READ β†—

2308.10379

11 Images
IMAGES READ

ArXiv Paper 2307.05632v1

2307.05632v1

0 Images
IMAGES READ β†—

ArXiv Paper 2306.14308v1

2306.14308v1

0 Images
IMAGES READ β†—

Unknown Title

2306.00978v5

10 Images
IMAGES READ β†—

Unknown Title

2305.18290v3

8 Images
IMAGES READ β†—

2305.18290

8 Images
IMAGES READ

Unknown Title

2305.17493v3

2 Images
IMAGES READ β†—

Unknown Title

2305.10601v2

8 Images
IMAGES READ β†—

2305.10601

8 Images
IMAGES READ

Unknown Title

2305.07517v2

6 Images
IMAGES READ β†—

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

2304.13734v2

0 Images
IMAGES READ β†—

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

2304.08247v3

0 Images
IMAGES READ β†—

Concentration of Hitting Times in ErdΓΆs-RΓ©nyi graphs

2304.04289v2

4 Images
IMAGES READ β†—

The synthetic instrument: From sparse association to sparse causation

2304.01098v4

25 Images
IMAGES READ β†—

Aristotle's Second-Order Logic and Natural Deduction

2303.03269v18

0 Images
IMAGES READ β†—

2302.08702v1

0 Images
IMAGES READ β†—

Unknown Title

2212.05678

4 Images
IMAGES READ β†—

2209.03388v12

0 Images
IMAGES READ β†—

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

2205.08792v2

0 Images
IMAGES READ β†—

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

2202.08081v4

0 Images
IMAGES READ β†—

Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective

2202.07412v1

0 Images
IMAGES READ β†—

2111.07555v1

0 Images
IMAGES READ β†—

2108.13121v1

0 Images
IMAGES READ β†—

2106.15515v4

0 Images
IMAGES READ β†—

Unknown Title

2106.09685v2

8 Images
IMAGES READ β†—

2104.14512v2

0 Images
IMAGES READ β†—

2009.14795v2

0 Images
IMAGES READ β†—

Popper's falsification and corroboration from the statistical perspectives

2007.00238v1

0 Images
IMAGES READ β†—

1811.04790v1

0 Images
IMAGES READ β†—

1811.00902v2

0 Images
IMAGES READ β†—

Pyro: Deep Universal Probabilistic Programming

1810.09538v1

0 Images
IMAGES READ β†—

1806.10322v1

0 Images
IMAGES READ β†—

1803.08885v1

0 Images
IMAGES READ β†—

1801.00862v3

0 Images
IMAGES READ β†—

1712.03847v1

0 Images
IMAGES READ β†—

1701.02388v2

0 Images
IMAGES READ β†—

1611.09263v2

0 Images
IMAGES READ β†—

1610.05749v2

0 Images
IMAGES READ β†—

1610.00132v1

0 Images
IMAGES READ β†—

1407.6246v1

0 Images
IMAGES READ β†—

1312.6930v2

0 Images
IMAGES READ β†—

1307.3435v1

0 Images
IMAGES READ β†—

1108.4296v1

0 Images
IMAGES READ β†—

On the Precision Attainable with Various Floating-Point Number Systems βˆ—

1004.3374v1

0 Images
IMAGES READ β†—

0911.2993v2

0 Images
IMAGES READ β†—