Character Classification, SMT Integration, Automated Reasoning, Constraint Programming

xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·1d
🧠Query Planners
Flag this post
One of the most devious malware strains might have been cracked - and it's all thanks to Gen AI
techradar.com·6h
🦠Malware Analysis
Flag this post
Cracking XLoader with AI: How Generative Models Accelerate Malware Analysis
blog.checkpoint.com·1d
🦠Malware Analysis
Flag this post
Considerate Use of Generative AI in the Workplace
declanbright.com·3h·
Discuss: Hacker News
🤖AI Translation
Flag this post
Cognitive Alignment in Personality Reasoning: Leveraging Prototype Theory for MBTI Inference
arxiv.org·19h
👤Search Personalization
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·2d·
Discuss: DEV
🎬WebCodecs API
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2d·
Discuss: Hacker News
📐Proof Assistants
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·6h
Incremental Computation
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·19h
⚖️Hoare Logic
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·8h·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·19h
🧮Constraint Solvers
Flag this post
Top 10 AI Features for Modern WYSIWYG Editors
dev.to·1h·
Discuss: DEV
📊Feed Optimization
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·19h
🌸Bloom Filters
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·19h
🤖Advanced OCR
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·1d
🧠Intelligence Compression
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🧠Learned Indexing
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.org·19h
🏛Digital humanities
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·19h
🌀Brotli Internals
Flag this post