Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

First Brands sues founder Patrick James over alleged fraud
ft.comยท6h
๐Ÿ”BitFunnel
Flag this post
An individual can change an organization
notes.eatonphil.comยท1d
๐Ÿ”ฉSystems Programming
Flag this post
Hou Tu Pranownse Inglish
zompist.comยท1dยท
Discuss: Hacker News
๐Ÿ—ฃ๏ธCMU Pronouncing
Flag this post
Trust Your Intuition in the Face of Uncertainty
lindynewsletter.beehiiv.comยท16hยท
Discuss: Hacker News
๐ŸŽฏThreat Hunting
Flag this post
Lessons from GitHub
github.comยท8hยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Flag this post
Coverage Analysis and Optimization of FIRES-Assisted NOMA and OMA Systems
arxiv.orgยท6h
๐Ÿ•ธ๏ธNetwork Topology
Flag this post
Novelty and Impact of Economics Papers
arxiv.orgยท6h
๐Ÿ“กInformation theory
Flag this post
Auditing LLM Editorial Bias in News Media Exposure
arxiv.orgยท1d
๐Ÿ“ฐContent Curation
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท6d
๐Ÿ’ปProgramming languages
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.orgยท6h
๐Ÿง Machine Learning
Flag this post
Remembering Unequally: Global and Disciplinary Bias in LLM-Generated Co-Authorship Networks
arxiv.orgยท6h
๐Ÿ“ŠCitation Graphs
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.orgยท4d
โœจEffect Handlers
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.orgยท6h
๐Ÿ“ŠLearned Metrics
Flag this post
Single-agent Reinforcement Learning Model for Regional Adaptive Traffic Signal Control
arxiv.orgยท6h
๐Ÿง Machine Learning
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.orgยท6h
๐Ÿง Neural Codecs
Flag this post
High Resolution Seismic Waveform Generation using Denoising Diffusion
arxiv.orgยท6h
๐Ÿ“กFrequency Archaeology
Flag this post
Variational Data-Consistent Assimilation
arxiv.orgยท6h
โœจEffect Handlers
Flag this post
The Biased Oracle: Assessing LLMs' Understandability and Empathy in Medical Diagnoses
arxiv.orgยท6h
๐Ÿ”Information Retrieval
Flag this post
Show HN: Extrai โ€“ An open-source tool to fight LLM randomness in data extraction
github.comยท16hยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.toยท1dยท
Discuss: DEV
๐Ÿš€SIMD Text Processing
Flag this post