PAPER INVENTORY
SOURCE DOCUMENT INDEX
ArXiv Paper 2604.07822v1
2604.07822v1
18 images
jina-embeddings-v5-text: Task-Targeted Embedding Distillation
2602.15547v1
7 images
A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
2601.18595v1
9 images
LoongFlow: Directed Evolutionary Search via a Cognitive Plan-Execute-Summarize Paradigm
2512.24077v1
4 images
Stable envelopes for critical loci
2512.23929v1
15 images
CASCADE: Cumulative Agentic Skill Creation through Autonomous Development and Evolution
2512.23880v2
5 images
Jina-VLM: Small Multilingual Vision Language Model
2512.04032v2
10 images
Unknown Title
2512.00307v2
10 images
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
2510.25975v2
3 images
Unknown Title
2510.13999v1
20 images
jina-reranker-v3: Last but Not Late Interaction for Listwise Document Reranking
2509.25085v4
1 image
Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
2509.14274v1
3 images
Cascade: Token-Sharded Private LLM Inference
2507.05228v1
2 images
jina-embeddings-v4: Universal Embeddings for Multimodal Multilingual Retrieval
2506.18902v3
7 images
Graph-based Approaches and Functionalities in Retrieval-Augmented Generation: A Comprehensive Survey
2504.10499v2
6 images
SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction
2410.09008v3
5 images
Converging Paradigms: The Synergy of Symbolic and Connectionist AI in LLM-Empowered Autonomous Agents
2407.08516v5
4 images
Jina CLIP: Your CLIP Model Is Also Your Text Retriever
2405.20204v2
1 image
Unknown Title
2405.17430v2
6 images
ArXiv Paper 2306.09896v1
2306.09896v1
32 images
MERT: Acoustic Music Understanding Model with Large-Scale Self-supervised Training
2306.00107v5
19 images
Towards Maximizing a Perceptual Sweet Spot
2201.01461v2
3 images
ArXiv Paper 2604.26347v1
2604.26347v1
0 images
Sequential KV Cache Compression via Probabilistic Language Tries: Beyond the Per-Vector Shannon Limit
2604.15356v1
0 images
COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery
2604.12172v1
0 images
ArXiv Paper 2604.11245v1
2604.11245v1
0 images
Entropy-Rate Selection for Partially Observed Processes
2604.10752v1
0 images
ArXiv Paper 2604.05890v1
2604.05890v1
0 images
Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State
2604.03997v1
0 images
ITQ3_S: High-Fidelity 3-bit LLM Inference via Interleaved Ternary Quantization with Rotation-Domain Smoothing
2603.27914v2
0 images
Causal Concept Graphs in LLM Latent Space for Stepwise Reasoning
2603.10377v1
0 images
EXPLORE-Bench: Egocentric Scene Prediction with Long-Horizon Reasoning
2603.09731v1
0 images
MORE-R1: Guiding LVLM for Multimodal Object-Entity Relation Extraction via Stepwise Reasoning with Reinforcement Learning
2603.09478v1
0 images
A finite element continuous data assimilation framework for a Navier--Stokes--Cahn--Hilliard system
2603.08765v1
0 images
DiverXplorer: Stock Image Exploration via Diversity Adjustment for Graphic Design
2603.08584v1
0 images
OrdinalBench: A Benchmark Dataset for Diagnosing Generalization Limits in Ordinal Number Understanding of Vision-Language Models
2603.07786v1
0 images
A Novel Multi-Agent Architecture to Reduce Hallucinations of Large Language Models in Multi-Step Structural Modeling
2603.07728v1
0 images
Seeing the Reasoning: How LLM Rationales Influence User Trust and Decision-Making in Factual Verification Tasks
2603.07306v1
0 images
On Multi-Step Theorem Prediction via Non-Parametric Structural Priors
2603.04852v1
0 images
Agent Memory Below the Prompt: Persistent Q4 KV Cache for Multi-Agent LLM Inference on Edge Devices
2603.04428v1
0 images
Additive Multi-Step Markov Chains and the Curse of Dimensionality in Large Language Models
2603.04412v1
0 images
Semantic Bridging Domains: Pseudo-Source as Test-Time Connector
2603.03844v1
0 images
Local Relaxation Fast Poisson Methods on Hierarchical Meshes
2603.02763v1
0 images
Higher-order interactions at scientific conferences influence team formation
2603.02571v1
0 images
MC-Search: Evaluating and Enhancing Multimodal Agentic Search with Structured Long Reasoning Chains
2603.00873v1
0 images
Keyframe-Guided Structured Rewards for Reinforcement Learning in Long-Horizon Laboratory Robotics
2603.00719v1
0 images
Proof-of-Perception: Certified Tool-Using Multimodal Reasoning with Compositional Conformal Guarantees
2603.00324v1
0 images
Stepwise Penalization for Length-Efficient Chain-of-Thought Reasoning
2603.00296v1
0 images
StaTS: Spectral Trajectory Schedule Learning for Adaptive Time Series Forecasting with Frequency Guided Denoiser
2603.00037v1
0 images
Trajectory of Probabilities, Probability on Trajectories, and the Stochastic-Quantum Correspondence
2602.23491v1
0 images
ThinkOmni: Lifting Textual Reasoning to Omni-modal Scenarios via Guidance Decoding
2602.23306v1
0 images
Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
2602.12463v1
0 images
Neuro-Symbolic Synergy for Interactive World Modeling
2602.10480v3
0 images
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
2602.07455v1
0 images
ArXiv Paper 2602.02635v1
2602.02635v1
0 images
Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
2602.02584v1
0 images
Provenance Verification of AI-Generated Images via a Perceptual Hash Registry Anchored on Blockchain
2602.02412v1
0 images
Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
2601.17188v1
0 images
ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems
2601.01982v1
0 images
Decomposing LLM Self-Correction: The Accuracy-Correction Paradox and Error Depth Hypothesis
2601.00828v1
0 images
Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals
2512.24045v2
0 images
ArXiv Paper 2512.23944v1
2512.23944v1
0 images
On $GL(1|1)$ Higgs bundles
2512.23909v1
0 images
Powers of Hamiltonian cycles in randomly augmented Pósa-Seymour graphs
2512.23886v1
0 images
Multigraphs and Time Ordered Isserlis-Wick formulae
2512.23845v2
0 images
ArXiv Paper 2512.23830v1
2512.23830v1
0 images
A new kind of automorphic form and a proof of the essential transformation laws
2512.23823v1
0 images
Stochastic Galerkin Method and Hierarchical Preconditioning for PDE-constrained Optimization
2512.23804v2
0 images
A Discrete Logarithm Construction for Orthogonal Double Covers of the Complete Graph by Hamiltonian Paths
2512.23802v1
0 images
Linear Preservers of Real Matrix Classes Admitting a Real Logarithm
2512.23735v1
0 images
Solvability of the Bézout Equation for Banach Algebra-Valued $H^\infty$ Functions on the Polydisk
2512.23733v2
0 images
State over Tokens: Characterizing the Role of Reasoning Tokens
2512.12777v1
0 images
How Do LLMs Fail In Agentic Scenarios? A Qualitative Analysis of Success and Failure Scenarios of Various LLMs in Agentic Simulations
2512.07497v2
0 images
Hybrid Neuro-Symbolic Models for Ethical AI in Risk-Sensitive Domains
2511.17644v1
0 images
Mathematics: the Rise of the Machines
2511.17203v1
0 images
Reasoning: From Reflection to Solution
2511.11712v1
0 images
Fortytwo: Swarm Inference with Peer-Ranked Consensus
2510.24801v1
0 images
Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
2510.24798v1
0 images
Trust in Transparency: How Explainable AI Shapes User Perceptions
2510.04968v1
0 images
ArXiv Paper 2510.01346v1
2510.01346v1
0 images
Modelling Analogies and Analogical Reasoning: Connecting Cognitive Science Theory and NLP Research
2509.09381v2
0 images
Efficient Code Embeddings from Code Generation Models
2508.21290v1
0 images
SupraTok: Cross-Boundary Tokenization for Enhanced Language Model Performance
2508.11857v2
0 images
Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
2508.08322v1
0 images
Self-Supervised Inductive Logic Programming
2507.16405v2
0 images
Defining neurosymbolic AI
2507.11127v1
0 images
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
2507.09751v2
0 images
Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
2506.17331v1
0 images
Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
2506.16015v1
0 images
LeanExplore: A search engine for Lean 4 declarations
2506.11085v1
0 images
Abstraction-Based Proof Production in Formal Verification of Neural Networks
2506.09455v1
0 images
Hermes: High-Performance Homomorphically Encrypted Vector Databases
2506.03308v2
0 images
Not Minds, but Signs: Reframing LLMs through Semiotics
2505.17080v2
0 images
The Philosophic Turn for AI Agents: Replacing centralized digital rhetoric with decentralized truth-seeking
2504.18601v1
0 images
A Survey on Hypothesis Generation for Scientific Discovery in the Era of Large Language Models
2504.05496v1
0 images
Uncertainty Quantification and Confidence Calibration in Large Language Models: A Survey
2503.15850v2
0 images
Tutorial Proposal: Speculative Decoding for Efficient LLM Inference
2503.00491v1
0 images
Exploring RWKV for Sentence Embeddings: Layer-wise Analysis and Baseline Comparison for Semantic Similarity
2502.14620v1
0 images
An atomic decomposition of one-dimensional metric currents without boundary
2502.09871v1
0 images
Game Theory Meets Large Language Models: A Systematic Survey with Taxonomy and New Frontiers
2502.09053v2
0 images
30+ Years of Source Separation Research: Achievements and Future Challenges
2501.11837v1
0 images
Applications of extrapolations to wavelet characterization of various function spaces and extension operators
2501.09912v2
0 images
AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling
2412.15084v2
5 images
Enaction for QBists
2411.04230v2
0 images
Can Large Language Models Invent Algorithms to Improve Themselves?: Algorithm Discovery for Recursive Self-Improvement through Reinforcement Learning
2410.15639v5
0 images
ArXiv Paper 2410.15236v1
2410.15236v1
0 images
Surveying the Rust Verification Landscape
2410.01981v1
0 images
ArXiv Paper 2409.08987v1
2409.08987v1
0 images
On the completeness of the space $\mathcal{O}_C$
2408.11944v2
0 images
Abductive Reasoning in a Paraconsistent Framework
2408.07287v2
0 images
RISC-V for HPC: Where we are and where we need to go
2406.12398v1
0 images
Neural logic programs and neural nets
2406.11888v1
0 images
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
2406.09757v2
0 images
The Impossibility of Fair LLMs
2406.03198v2
0 images
Towards Dialogues for Joint Human-AI Reasoning and Value Alignment
2405.18073v1
0 images
Euclidean mirrors and first-order changepoints in network time series
2405.11111v3
0 images
ArXiv Paper 2404.11066v1
2404.11066v1
0 images
Construction of low regularity strong solutions to the viscous surface wave equations
2404.08448v1
0 images
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
2404.01677v2
0 images
On the Connection between the Repeated X-ray Quasi-periodic Oscillation and Warm Absorber in the Active Galaxy RE~J1034+396
2404.01377v1
0 images
LLM as a Mastermind: A Survey of Strategic Reasoning with Large Language Models
2404.01230v1
0 images
Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight
2403.18170v1
0 images
The Sample Complexity of Simple Binary Hypothesis Testing
2403.16981v2
0 images
A Unified and General Framework for Continual Learning
2403.13249v1
0 images
Lifted Causal Inference in Relational Domains
2403.10184v1
0 images
ArXiv Paper 2403.04017v1
2403.04017v1
0 images
Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
2403.00685v2
0 images
Equational theories of idempotent semifields
2402.09876v2
0 images
Universal Gradient Methods for Stochastic Convex Optimization
2402.03210v2
0 images
Online Handbook of Argumentation for AI: Volume 4
2401.09444v1
0 images
Beyond Fairness: Alternative Moral Dimensions for Assessing Algorithms and Designing Systems
2312.12559v1
0 images
Levels of AGI for Operationalizing Progress on the Path to AGI
2311.02462v5
0 images
Kiki or Bouba? Sound Symbolism in Vision-and-Language Models
2310.16781v3
0 images
Query-Efficient Algorithm to Find all Nash Equilibria in a Two-Player Zero-Sum Matrix Game
2310.16236v3
0 images
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
2310.06770v3
0 images
ArXiv Paper 2307.05632v1
2307.05632v1
0 images
ArXiv Paper 2306.14308v1
2306.14308v1
0 images
The Internal State of an LLM Knows When It's Lying
2304.13734v2
0 images
MedAlpaca -- An Open-Source Collection of Medical Conversational AI Models and Training Data
2304.08247v3
0 images
Aristotle's Second-Order Logic and Natural Deduction
2303.03269v18
0 images
Three Lagrangians for the complete-active space coupled-cluster method
2205.08792v2
0 images
Reasoning with fuzzy and uncertain evidence using epistemic random fuzzy sets: general framework and practical models
2202.08081v4
0 images
Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective
2202.07412v1
0 images
Popper's falsification and corroboration from the statistical perspectives
2007.00238v1
0 images
Pyro: Deep Universal Probabilistic Programming
1810.09538v1
0 images
Unknown Title
1610.05749v2
0 images
Unknown Title
1610.00132v1
0 images
Unknown Title
1407.6246v1
0 images
Unknown Title
1312.6930v2
0 images
Unknown Title
1307.3435v1
0 images
Unknown Title
1108.4296v1
0 images
On the Precision Attainable with Various Floating-Point Number Systems ∗
1004.3374v1
0 images
Unknown Title
0911.2993v2
0 images