Show HN: Applications of DNA Foundation Models
aditharun.com·1d·
Discuss: Hacker News
📚Automata Learning
Mu Puzzle
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
Vibe Coding Through the Berghain Challenge
nibzard.com·6h·
Discuss: Hacker News
🎮Verification Games
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·3d·
Discuss: Hacker News
📚Automata Learning
Are LLM Agents the New RPA? A Comparative Study with RPA Across Enterprise Workflows
arxiv.org·1d
✓Automated Theorem Proving
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Designing a Lightweight GenAI Interface for Visual Data Analysis
arxiv.org·2d
🔠Type-Level Programming
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
arxiv.org·2d
📐Denotational Semantics
Supervised In-Context Fine-Tuning for Generative Sequence Labeling
arxiv.org·3d
📚Automata Learning
Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal Models
arxiv.org·1d
🧠Automated Reasoning
Synthetic generation of online social networks through homophily
arxiv.org·2d
🧮Lambda Calculus
Exploring the Design Space of Fair Tree Learning Algorithms
arxiv.org·2d
🔠Type-Level Programming
Prompt sensitivity is more nuanced (and useful) than we think
newsletter.aimuscle.com·3d·
Discuss: Hacker News
📚Automata Learning
LibriQuote: A Speech Dataset of Fictional Character Utterances for Expressive Zero-Shot Speech Synthesis
arxiv.org·1d
🎮Verification Games
InstaDA: Augmenting Instance Segmentation Data with Dual-Agent System
arxiv.org·2d
📚Automata Learning
Mitigating Catastrophic Forgetting in Continual Learning through Model Growth
arxiv.org·3d
📚Automata Learning
Flaw or Artifact? Rethinking Prompt Sensitivity in Evaluating LLMs
arxiv.org·3d
📚Automata Learning
Can LLMs Lie? Investigation beyond Hallucination
arxiv.org·2d
📚Automata Learning
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·18h·
Discuss: Substack
🔍Formal Verification
STRive: An association rule-based system for the exploration of spatiotemporal categorical data
arxiv.org·2d
🔠Type-Level Programming