Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Tips for Writing Clean Code in TensorFlow 2
hackernoon.comยท2d
Integrating Newton's Laws with deep learning for enhanced physics-informed compound flood modelling
arxiv.orgยท15h
From Neurons to Semantics: Evaluating Cross-Linguistic Alignment Capabilities of Large Language Models via Neurons Alignment
arxiv.orgยท15h
TrajLens: Visual Analysis for Constructing Cell Developmental Trajectories in Cross-Sample Exploration
arxiv.orgยท15h
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.orgยท5d
Loading...Loading more...