Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
👁️Observability
Flag this post
AI Summarization Optimization
🧩Parser Combinators
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·8h
⚙️Compiler Design
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·8h
🐫OCaml
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·8h
🔲Cellular Automata
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·8h
👁️Observability
Flag this post
Gaining Momentum: Uncovering Hidden Scoring Dynamics in Hockey through Deep Neural Sequencing and Causal Modeling
arxiv.org·8h
📐Linear Algebra
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·8h
🧩Parser Combinators
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·8h
🧩Parser Combinators
Flag this post
Consistently Simulating Human Personas with Multi-Turn Reinforcement Learning
arxiv.org·8h
🧩Parser Combinators
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·8h
🔲Cellular Automata
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·8h
🤖Robotics
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·8h
📦OPAM
Flag this post
Adaptive Stemming via Graph-Augmented Recurrent Variational Autoencoders
🧩Parser Combinators
Flag this post
Loading...Loading more...