[ICLR 2026] Lean Finder: Semantic Search For Mathlib That Understands User Intents

Learning Physics-grounded 4d Dynamics With Neural Gaussian Force Fields

Elevate your AI research writing, no more tedious polishing ✨

[TMLR 2026] GIOROM, sampling based model-order reduction for Lagrangian systems

[ICML 2023] Learning Neural Constitutive Laws from Motion Observations for Generalizable PDE Dynamics

Enjoy the magic of Diffusion models!

Video Generation, Physical Commonsense, Semantic Adherence, VideoCon-Physics

This repo aims to customize moving trajectories in a video.

PDE Lean formalization

Preparing for ML Interviews.

CPIC cases implemented with taichi.

a comprehensive investigation of advanced physical aware AIGC works

A reimplementation of Stable Diffusion 3.5 in pure PyTorch

Rigid, Fluid and Cloth Simulation