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·19h
🔬Unikernels
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·12h
λFunctional Programming
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.org·1d
🧩Parser Combinators
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·2h
🐫OCaml
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·2h
🔍CBMC
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·2h
🔲Cellular Automata
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·2h
🔍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
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·1d
🧩Parser Combinators
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
📚Automata Learning
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
Loading...Loading more...