Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
FEX 2509 Tagged
fex-emu.com·17h
Agents of Change
partnershiponai.org·23h
Weeknotes 2025-36
departure.blog·23h
Material Experience: An Evaluation Model for Creative Materials Based on Visual-Tactile Sensory Properties
arxiv.org·13h
Google NotebookLM adds flashcards, quizzes, and new formats for Audio Overviews
alternativeto.net·11h
9001/copyparty v1.19.8
github.com·1d
AI Writing Tools vs Human Content: Medium Algorithm Penalty Reality Check
pub.towardsai.net·1d
Fairness-Aware Data Augmentation for Cardiac MRI using Text-Conditioned Diffusion Models
arxiv.org·13h
Loading...Loading more...