Document Mathematics, Paleographic Logic, Text Geometry, Historical Computation
work
visakanv.comยท21h
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.orgยท1d
PointVDP: Learning View-Dependent Projection by Fireworks Rays for 3D Point Cloud Segmentation
arxiv.orgยท2d
Subgraph Counting under Edge Local Differential Privacy Based on Noisy Adjacency Matrix
arxiv.orgยท2d
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.orgยท1d
Loading...Loading more...