PAPER INVENTORY

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

2602.15547v1

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic

2601.18595v1

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

2512.24077v1

Stable envelopes for critical loci

2512.23929v1

CASCADE: Cumulative Agentic Skill Creation through Autonomous Development and Evolution

2512.23880v2

Jina-VLM: Small Multilingual Vision Language Model

2512.04032v2

Unknown Title

2512.00307v2

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

2510.25975v2

Unknown Title

2510.13999v1

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

2509.25085v4

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

2509.14274v1

Cascade: Token-Sharded Private LLM Inference

2507.05228v1

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

2506.18902v3

2506.09433v1

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

2504.10499v2

2502.09858v1

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

2410.09008v3

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

2407.08516v5

Jina CLIP: Your CLIP Model Is Also Your Text Retriever

2405.20204v2

Unknown Title

2405.17430v2

2312.11805v5

2307.13992v2

2307.10573v1

ArXiv Paper 2306.09896v1

2306.09896v1

2301.03724v1

Towards Maximizing a Perceptual Sweet Spot

2201.01461v2

2111.08404v1

2106.03973v1

2101.03403v1

1905.09381v1

Causal Concept Graphs in LLM Latent Space for Stepwise Reasoning

2603.10377v1

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

2603.09731v1

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

2603.09478v1

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

2603.08765v1

DiverXplorer: Stock Image Exploration via Diversity Adjustment for Graphic Design

2603.08584v1

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

2603.07786v1

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

2603.07728v1

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

2603.07306v1

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

2603.04852v1

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

2603.04412v1

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

2603.03844v1

Local Relaxation Fast Poisson Methods on Hierarchical Meshes

2603.02763v1

Higher-order interactions at scientific conferences influence team formation

2603.02571v1

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

2603.00873v1

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

2603.00719v1

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

2603.00324v1

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

2603.00296v1

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

2603.00037v1

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

2602.23491v1

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

2602.23306v1

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

2602.12463v1

Neuro-Symbolic Synergy for Interactive World Modeling

2602.10480v3

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

2602.07455v1

ArXiv Paper 2602.02635v1

2602.02635v1

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

2602.02584v1

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

2602.02412v1

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

2601.17188v1

Quantum automated theorem proving

2601.07953v1

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

2601.01982v1

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

2601.00828v1

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

2512.24045v2

ArXiv Paper 2512.23944v1

2512.23944v1

On $GL(1|1)$ Higgs bundles

2512.23909v1

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

2512.23886v1

Multigraphs and Time Ordered Isserlis-Wick formulae

2512.23845v2

ArXiv Paper 2512.23830v1

2512.23830v1

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

2512.23823v1

Stochastic Galerkin Method and Hierarchical Preconditioning for PDE-constrained Optimization

2512.23804v2

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

2512.23802v1

Linear Preservers of Real Matrix Classes Admitting a Real Logarithm

2512.23735v1

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

2512.23733v2

State over Tokens: Characterizing the Role of Reasoning Tokens

2512.12777v1

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

2512.07497v2

2512.06777v1

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

2511.17644v1

Mathematics: the Rise of the Machines

2511.17203v1

Reasoning: From Reflection to Solution

2511.11712v1

Fortytwo: Swarm Inference with Peer-Ranked Consensus

2510.24801v1

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

2510.24798v1

Trust in Transparency: How Explainable AI Shapes User Perceptions

2510.04968v1

ArXiv Paper 2510.01346v1

2510.01346v1

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

2509.09381v2

Efficient Code Embeddings from Code Generation Models

2508.21290v1

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

2508.19828v5

SupraTok: Cross-Boundary Tokenization for Enhanced Language Model Performance

2508.11857v2

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

2508.08322v1

2508.00190v1

Self-Supervised Inductive Logic Programming

2507.16405v2

Defining neurosymbolic AI

2507.11127v1

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

2507.09751v2

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems

2506.17331v1

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

2506.16015v1

LeanExplore: A search engine for Lean 4 declarations

2506.11085v1

Abstraction-Based Proof Production in Formal Verification of Neural Networks

2506.09455v1

Hermes: High-Performance Homomorphically Encrypted Vector Databases

2506.03308v2

Not Minds, but Signs: Reframing LLMs through Semiotics

2505.17080v2

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

2504.18601v1

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

2504.05496v1

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

2503.15850v2

2503.12161v1

Tutorial Proposal: Speculative Decoding for Efficient LLM Inference

2503.00491v1

An atomic decomposition of one-dimensional metric currents without boundary

2502.09871v1

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

2502.09053v2

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

2501.09912v2

2501.03249v1

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

2412.15084v2

Enaction for QBists

2411.04230v2

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

2410.15639v5

ArXiv Paper 2410.15236v1

2410.15236v1

2410.12509v1

Surveying the Rust Verification Landscape

2410.01981v1

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

2408.11944v2

Abductive Reasoning in a Paraconsistent Framework

2408.07287v2

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

2406.12398v1

Neural logic programs and neural nets

2406.11888v1

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

2406.09757v2

The Impossibility of Fair LLMs

2406.03198v2

Towards Dialogues for Joint Human-AI Reasoning and Value Alignment

2405.18073v1

Euclidean mirrors and first-order changepoints in network time series

2405.11111v3

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

2404.08448v1

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

2404.01677v2

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

2404.01377v1

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

2404.01230v1

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

2403.18170v1

The Sample Complexity of Simple Binary Hypothesis Testing

2403.16981v2

A Unified and General Framework for Continual Learning

2403.13249v1

Lifted Causal Inference in Relational Domains

2403.10184v1

ArXiv Paper 2403.04017v1

2403.04017v1

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

2403.00685v2

Equational theories of idempotent semifields

2402.09876v2

Universal Gradient Methods for Stochastic Convex Optimization

2402.03210v2

Online Handbook of Argumentation for AI: Volume 4

2401.09444v1

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

2312.12559v1

2311.10215v1

Levels of AGI for Operationalizing Progress on the Path to AGI

2311.02462v5

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

2310.16781v3

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

2310.16236v3

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

2310.06770v3

ArXiv Paper 2307.05632v1

2307.05632v1

ArXiv Paper 2306.14308v1

2306.14308v1

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

2304.13734v2

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

2304.08247v3

Aristotle's Second-Order Logic and Natural Deduction

2303.03269v18

2302.08702v1

2209.03388v12

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

2205.08792v2

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

2202.08081v4

Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective

2202.07412v1

2111.07555v1

2108.13121v1

2106.15515v4

2104.14512v2

2009.14795v2

Popper's falsification and corroboration from the statistical perspectives

2007.00238v1

1811.04790v1

1811.00902v2

Pyro: Deep Universal Probabilistic Programming

1810.09538v1

1806.10322v1

1803.08885v1

1801.00862v3

1712.03847v1

1703.03400v3

1701.02388v2

1611.09263v2

1610.05749v2

1610.00132v1

1407.6246v1

1312.6930v2

1307.3435v1

1108.4296v1

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

1004.3374v1

0911.2993v2