🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📚 Automata Learning

Grammatical Inference, TTT, L#, automata learning

Go Is the Language of Vibe Coding
sinwoobang.notion.site·6h·
Discuss: Hacker News
💎Refinement Types
The (sometimes rocky) road to a paper
lmao.bearblog.dev·3d·
Discuss: Hacker News
🧮Lambda Calculus
Building a Multilingual Blog with FastHTML
simn.fr·7h·
Discuss: Hacker News
💎Refinement Types
The Recursive Loop: How Code Shapes Minds – Kenneth Reitz
kennethreitz.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Augment, Complement and Empower Yourself
arttuv.com·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·6d·
Discuss: Hacker News
🧩Parser Combinators
Privacy Risks in Time Series Forecasting: User- and Record-Level Membership Inference
arxiv.org·3d
🧠Automated Reasoning
OpenAI’s Sam Altman Sees a Future With a Collective ‘Superintelligence’
thenewstack.io·19h
🤖Program Synthesis
Vehicle-to-Infrastructure Collaborative Spatial Perception via Multimodal Large Language Models
arxiv.org·3d
🧩Separation Logic
Unlearning That Lasts: Utility-Preserving, Robust, and Almost Irreversible Forgetting in LLMs
arxiv.org·4d
🧩Parser Combinators
Teacher-Student Model for Detecting and Classifying Mitosis in the MIDOG 2025 Challenge
arxiv.org·3d
➡️Category Theory
Imitate Optimal Policy: Prevail and Induce Action Collapse in Policy Gradient
arxiv.org·4d
🎮Verification Games
The Missing Error Bars in AI Research That Nobody Talks About.
lesswrong.com·4d
✓Automated Theorem Proving
Exploring LLMs for ICD Coding – Part 1
medium.com·3d·
Discuss: Hacker News
🤖Program Synthesis
An Efficient GNNs-to-KANs Distillation via Self-Attention Dynamic Sampling with Potential for Consumer Electronics Edge Deployment
arxiv.org·5d
🧩Parser Combinators
Extracting OPQRST in Electronic Health Records using Large Language Models with Reasoning
arxiv.org·5d
🧩Parser Combinators
Radio Astronomy in the Era of Vision-Language Models: Prompt Sensitivity and Adaptation
arxiv.org·4d
🧩Parser Combinators
Multimodal Proposal for an AI-Based Tool to Increase Cross-Assessment of Messages
arxiv.org·3d
🧩Parser Combinators
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·3d
🧩Parser Combinators
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
arxiv.org·4d
📐Denotational Semantics
Loading...Loading more...
AboutBlogChangelogRoadmap