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
Adaptive Stemming via Graph-Augmented Recurrent Variational Autoencoders
🧩Parser Combinators
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·1h
λFunctional Programming
Flag this post
From Data to Rewards: a Bilevel Optimization Perspective on Maximum LikelihoodEstimation
🎮Verification Games
Flag this post
RegionRAG: Region-level Retrieval-Augumented Generation for Visually-Rich Documents
arxiv.org·1d
🧩Parser Combinators
Flag this post
Why your AI evals keep breaking
👁️System Observability
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·9h
🧪Property-Based Testing
Flag this post
Chitchat with AI: Understand the supply chain carbon disclosure of companies worldwide through Large Language Model
arxiv.org·15h
🧠Automated Reasoning
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·15h
🧠Automated Reasoning
Flag this post
Generative human motion mimicking through feature extraction in denoising diffusion settings
arxiv.org·15h
🔲Cellular Automata
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
🔲Cellular Automata
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·15h
🔍CBMC
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·15h
🧠Automated Reasoning
Flag this post
A Dual Large Language Models Architecture with Herald Guided Prompts for Parallel Fine Grained Traffic Signal Control
arxiv.org·15h
🔄Finite State Machines
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·15h
🤖Robotics
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·15h
🎯Hindley-Milner
Flag this post
Loading...Loading more...