An enough week
blog.mitrichev.ch·21h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·4h·
Discuss: DEV
📡Audio Modulation
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·13h
📼Cassette Combinators
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.org·13h
💾Binary Linguistics
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·13h
🧠Learned Indexing
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·13h
🧠Machine Learning
Do We Really Need SFT? Prompt-as-Policy over Knowledge Graphs for Cold-start Next POI Recommendation
arxiv.org·13h
🎯Content Recommendation
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·3d
🔗Parser Combinators
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·13h
🕵️Vector Smuggling
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·2d
🔢Denotational Semantics
A small number of samples can poison LLMs of any size
dev.to·15h·
Discuss: DEV
💻Local LLMs
How Google Translate & ChatGPT Work: The Transformer, Unboxed
dev.to·1d·
Discuss: DEV
🧠Learned Codecs
A Manifesto for the Programming Desperado
github.com·1h·
Discuss: Hacker News
💻Programming languages
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·13h
💻Local LLMs
Causality Guided Representation Learning for Cross-Style Hate Speech Detection
arxiv.org·13h
🎙️Whisper
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·13h
✓Automated Theorem Proving
Context Length Alone Hurts LLM Performance Despite Perfect Retrieval
arxiv.org·2d
🧮Kolmogorov Complexity
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·2d
💻Local LLMs
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·13h
⚡Proof Automation