Showing 2025Show all
2 papers · 1 filter
eess.IV2025
Pixel Embedding Method for Tubular Neurite Segmentation
Huayu Fu, Jiamin Li, Haozhi Qu +2
Automatic segmentation of neuronal topology is critical for handling large scale neuroimaging data, as it can greatly accelerate neuron annotation and analysis. However, the intric…
cs.LO2025
StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk +1
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interfac…