Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

Masked Softmax Layers in PyTorch
mcognetta.github.io·1d·
Discuss: Hacker News
🎯Complexity Classes
Flag this post
Reforging the ReScript Build System
rescript-lang.org·14h·
🔄Reproducible Builds
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🎨GADTs
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
👁️Observability
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·48m·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·1d
🎨GADTs
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🔍CBMC
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·2d
🔄Finite State Machines
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques (Save 15+ Hours Weekly)
dev.to·4h·
Discuss: DEV
🎮Verification Games
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
dev.to·1h·
Discuss: DEV
📚Automata Learning
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·1d
📚Automata Learning
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
🧩Parser Combinators
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🔲Cellular Automata
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·1d
🔍Formal Verification
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·1h
🛡️seL4
Flag this post
Intentionality
lesswrong.com·1h
📵Digital Minimalism
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·2d
📚Automata Learning
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🧩Parser Combinators
Flag this post