🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Can We Terraform Our Way Out of Earth?
hackernoon.com·13h
🚀Indie Hacking
Astral's ty: A New Blazing-Fast Type Checker for Python
realpython.com·1d
🎯Gradual Typing
Adaptive HFQPO-Driven Metamaterial Acoustic Focusing via Reinforcement Learning
dev.to·8h·
Discuss: DEV
⏰Time Crystals
Can Large Language Models Express Uncertainty Like Human?
arxiv.org·1d
🧠Intelligence Compression
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.org·1d
🔗Parser Combinators
Dual Mechanisms of Value Expression: Intrinsic vs. Prompted Values in LLMs
arxiv.org·1d
💻Programming languages
LLaVAShield: Safeguarding Multimodal Multi-Turn Dialogues in Vision-Language Models
arxiv.org·1h
🎞️MKV Analysis
Automated Excipient Polymorphism Prediction via Multi-Modal Data Fusion and HyperScore Validation
dev.to·11h·
Discuss: DEV
🧮Algebraic Datatypes
Self-Speculative Biased Decoding for Faster Live Translation
arxiv.org·2d
🧮Kolmogorov Complexity
ChessArena: A Chess Testbed for Evaluating Strategic Reasoning Capabilities of Large Language Models
arxiv.org·1d
✓Automated Theorem Proving
Echoes of Humanity: Exploring the Perceived Humanness of AI Music
arxiv.org·1h
🎼Computational Musicology
More Thought, Less Accuracy? On the Dual Nature of Reasoning in Vision-Language Models
arxiv.org·1h
🔲Cellular Automata
LLMOps Done Right: Designing Traceable, Secure AI Systems for Production
dev.to·2d·
Discuss: DEV
💻Local LLMs
Information Design With Large Language Models
arxiv.org·1h
📡Information theory
Build Agentic Video RAG with Strands Agents and Containerized Infrastructure
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Transformers through the lens of support-preserving maps between measures
arxiv.org·1h
🧠Machine Learning
MARLIN: Multi-Agent Reinforcement Learning with Murmuration Intelligence and LLM Guidance for Reservoir Management
arxiv.org·1d
🔲Cellular Automata
TokenSwap: Backdoor Attack on the Compositional Understanding of Large Vision-Language Models
arxiv.org·1d
🔍BitFunnel
AssemblyHands-X: Modeling 3D Hand-Body Coordination for Understanding Bimanual Human Activities
arxiv.org·1d
🏺Computational Archaeology
Type-Less yet Type-Aware Inductive Link Prediction with Pretrained Language Models
arxiv.org·1h
🕸️Graph Embeddings