Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·4d·
Discuss: Hacker News
🧮Hindley-Milner
Flag this post
Modeling protein–small molecule conformational ensembles with PLACER
pnas.org·2h
🧮Algorithms
Flag this post
Emmy, the Algebra System: Classical Mechanics Prologue
clojurecivitas.github.io·2d
🧮Hindley-Milner
Flag this post
Organizing Code, Experiments, and Research for Kaggle Competitions
towardsdatascience.com·20h
🏗Datastructures
Flag this post
🚀LLM Overthinking? DTS makes LLM think shorter and answer smarter
reddit.com·2d·
Discuss: r/LocalLLaMA
🧮Hindley-Milner
Flag this post
History-Aware Reasoning for GUI Agents
arxiv.org·1d
🧮Hindley-Milner
Flag this post
Stabilizing Reinforcement Learning for Honesty Alignment in Language Models on Deductive Reasoning
arxiv.org·1d
🧮Hindley-Milner
Flag this post
Error Correction in Radiology Reports: A Knowledge Distillation-Based Multi-Stage Framework
arxiv.org·5h
🗄Databases
Flag this post
Provably Safe Stein Variational Clarity-Aware Informative Planning
arxiv.org·5h
🧮Algorithms
Flag this post
Continuum Dropout for Neural Differential Equations
arxiv.org·5h
🧮Hindley-Milner
Flag this post
Space-Efficient and Output-Sensitive Algorithms for the Longest Common Bitonic Subsequence
arxiv.org·1d
🧮Algorithms
Flag this post
Evaluating Implicit Biases in LLM Reasoning through Logic Grid Puzzles
arxiv.org·3d
🧮Algorithms
Flag this post
Go: Learning Journey Through Algorithms
dev.to·2d·
Discuss: DEV
🧮Algorithms
Flag this post
Building Agentic AI with Amazon Bedrock – Part 1: Your First AI Agent (Beginner Friendly)
dev.to·7h·
Discuss: DEV
🧮Hindley-Milner
Flag this post
BUILDING A BIGRAM LANGUAGE MODEL
dev.to·22h·
Discuss: DEV
🧮Algorithms
Flag this post
Understanding the Impact of Proportionality in Approval-Based Multiwinner Elections
arxiv.org·1d
🧮Algorithms
Flag this post
GMTRouter: Personalized LLM Router over Multi-turn User Interactions
arxiv.org·1d
🧮Hindley-Milner
Flag this post
Paxos/Raft Demystified: So Simple a Child Can Understand
dev.to·22h·
Discuss: DEV
🧮Algorithms
Flag this post