Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

Masked Softmax Layers in PyTorch
mcognetta.github.io·1d·
Discuss: Hacker News
🎯Complexity Classes
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·15h·
Discuss: Hacker News
🏃Escape Analysis
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
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·4h
🛡️seL4
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
dev.to·5h·
Discuss: DEV
📚Automata Learning
Flag this post
Intentionality
lesswrong.com·5h
📵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
Hybrid Quantum-Classical Optimization of the Resource Scheduling Problem
arxiv.org·1d
🔍CBMC
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·4h
🛡️seL4
Flag this post
Variational Geometric Information Bottleneck: Learning the Shape of Understanding
arxiv.org·4h
🎯Hindley-Milner
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
Process Calculi
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.org·4h
📐Linear Algebra
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.org·1d
🧩Parser Combinators
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
⚙️Compiler Design
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·1d
🧩Parser Combinators
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques (Save 15+ Hours Weekly)
dev.to·7h·
Discuss: DEV
🎮Verification Games
Flag this post