Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
We need to give LLMs human-like vision
📚Automata Learning
Flag this post
Tea-Fi Redefines DeFi: One SuperApp. Infinite Yield. Powered by $TEA
hackernoon.com·22h
🔬Unikernels
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·15h
λFunctional Programming
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·5h
🔍CBMC
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·5h
🔲Cellular Automata
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·5h
🔍CBMC
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·2d
🎮Verification Games
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
🔤Language Design
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
📚Automata Learning
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·1d
🧩Parser Combinators
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·1d
🧩Parser Combinators
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
🧠Automated Reasoning
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·1d
📚Automata Learning
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·23h
🧪Property-Based Testing
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·1d
📚Automata Learning
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·2d
📝Term Rewriting
Flag this post
Loading...Loading more...