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
Navigating the Storm: Driving AI Agents
🔧DevOps
Flag this post
Automated Anomaly Detection in Surgical Instrument Tracking Using Federated Learning
👁️Observability
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·2d
🧩Parser Combinators
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·5d
🔍CBMC
Flag this post
Balanced Multimodal Learning via Mutual Information
arxiv.org·1d
🕸️Graph Theory
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·1d
🔲Cellular Automata
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.org·1d
🧩Parser Combinators
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔍Formal Verification
Flag this post
MammoClean: Toward Reproducible and Bias-Aware AI in Mammography through Dataset Harmonization
arxiv.org·21h
🧮Lambda Calculus
Flag this post
Chitchat with AI: Understand the supply chain carbon disclosure of companies worldwide through Large Language Model
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Loading...Loading more...