Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
๐๏ธObservability
Flag this post
The AI-Powered Evolution of Software Development
devops.comยท3h
๐คProgram Synthesis
Flag this post
Ajla Tutorial
๐ฌStatic Analysis
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.orgยท9h
โAutomated Theorem Proving
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
ฮปFunctional Programming
Flag this post
Hybrid Retrieval-Augmented Generation Agent for Trustworthy Legal Question Answering in Judicial Forensics
arxiv.orgยท9h
๐งฉParser Combinators
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.orgยท9h
๐Automata Learning
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.orgยท9h
๐ฏHindley-Milner
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.orgยท1d
๐Linear Algebra
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท4d
โก๏ธCategory Theory
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
๐Network Protocols
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
ฮปFunctional Programming
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.orgยท9h
๐Automata Learning
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.orgยท9h
๐งฉSeparation Logic
Flag this post
Rdza โ Rust Programming, in Polish
๐คKleene Algebra
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.orgยท1d
๐ซOCaml
Flag this post
Loading...Loading more...