∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·1d
🧠Semantic Parsing
‘Round the Square: ‘Mirror, mirror, on the wall,’ right? - The Bradford Era
bradfordera.com·9h
🔗Concatenative Theory
How to Debug Chez Scheme Programs (2002)
scheme.com·19h·
Discuss: Hacker News
💬Error Message Design
Devlog - whats, whys and hows.
mama666.itch.io·2h
🌙Lua
How to Use AI Without Becoming Stupid
commoncog.com·5h
⚖️Inference Rules
Mercedes-Benz Fashion Week NYC
usofarn.com·21h
🏠indieweb
<p>**Abstract:** This paper introduces an automated system for analyzing and scoring scientific publications related to foundation settlement optimization, reco...
freederia.com·1d
📋Backus-Naur Form
Gene-R1: Reasoning with Data-Augmented Lightweight LLMs for Gene Set Analysis
arxiv.org·12h
✨Effect Inference
Why "AI" Models for Predicting Soil Liquefaction have been Ignored, Plus Some that Shouldn't Be
arxiv.org·12h
🚂Error Propagation
Unveiling Hidden Structures: A New Algorithm for Cross-Graph Harmony by Arvind Sundararajan
dev.to·18h·
Discuss: DEV
🌳Tree Algorithms
Claude Code vs Codex My Own experience
reddit.com·5h·
Discuss: r/ClaudeAI
📚Self-Documenting Code
Rethinking Human Preference Evaluation of LLM Rationales
arxiv.org·12h
🎮Language Ergonomics
Claude-code.nvim: Seamless integration between Claude Code and Neovim
github.com·1h·
Discuss: Hacker News
📚Self-Documenting Code
AutoOEP -- A Multi-modal Framework for Online Exam Proctoring
arxiv.org·12h
🎯Finite Automata
Physics-informed sensor coverage through structure preserving machine learning
arxiv.org·1d
🔍ML Language
Emergent Harmony: Swarm AI for Music Composition by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🔬Nanopasses
MİGROS TİCARET A.Ş.(MGROS) Finansal Takvim 15 Eylül 2025
finans.mynet.com·23h
🐍lisp
[1] Algorithm Showdown: Python vs. JavaScript - Group Anagrams
dev.to·1d·
Discuss: DEV
🔗Hash Functions
MusicSwarm: Biologically Inspired Intelligence for Music Composition
arxiv.org·12h
🔬Nanopasses
Examining the Relationship between Scientific Publishing Activity and Hype-Driven Financial Bubbles: A Comparison of the Dot-Com and AI Eras
arxiv.org·12h
📐Mathematical Computing