Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
PoDoFo 1.0 released
pdfa.orgΒ·1d
\(-e^{i\pi}\) to Watch: Another Roof
aperiodical.comΒ·1d
Is Pydantic as safe as It Is popular?
nocomplexity.comΒ·7h
Simulating Human Behavior with the Psychological-mechanism Agent: Integrating Feeling, Thought, and Action
arxiv.orgΒ·13h
SkinDualGen: Prompt-Driven Diffusion for Simultaneous Image-Mask Generation in Skin Lesions
arxiv.orgΒ·13h
SWIFT: A General Sensitive Weight Identification Framework for Fast Sensor-Transfer Pansharpening
arxiv.orgΒ·13h
FaRMamba: Frequency-based learning and Reconstruction aided Mamba for Medical Segmentation
arxiv.orgΒ·13h
Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory
arxiv.orgΒ·4d
We need an alter-net now
aardvark.co.nzΒ·1h
Loading...Loading more...