Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
AI Summarization Optimization
🧩Parser Combinators
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
👁️Observability
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·14h
λFunctional Programming
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
⚙️Compiler Design
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·1d
🤖Robotics
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·4h
🕸️Graph Theory
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
Equilibrium Policy Generalization: A Reinforcement Learning Framework for Cross-Graph Zero-Shot Generalization in Pursuit-Evasion Games
arxiv.org·1d
🎮Verification Games
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
When to Trust the Answer: Question-Aligned Semantic Nearest Neighbor Entropy for Safer Surgical VQA
arxiv.org·1d
⏱️Computational Complexity
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
💎Refinement Types
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·11h
🐫Embedded OCaml
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·4h
🐫OCaml
Flag this post
A Dual Large Language Models Architecture with Herald Guided Prompts for Parallel Fine Grained Traffic Signal Control
arxiv.org·1d
🔄Finite State Machines
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...