Stanford University

university

Verified

https://www.stanford.edu/

AI & ML interests

None defined yet.

Recent Activity

jytan12 submitted a paper 2 days ago

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

suchiragarwal submitted a paper 8 days ago

A Language-Informed Loss for Visual Generation

keshik6 submitted a paper 9 days ago

Text-to-Image Generative Modeling Without Language Pretraining

View all activity

Papers

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

Text-to-Image Generative Modeling Without Language Pretraining

View all Papers

StanfordUniversity 's papers 37

Submitted by

Jiyuan

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

StanfordUniversity

Stanford University

Submitted by

Keshigeyan Chandrasegaran

Text-to-Image Generative Modeling Without Language Pretraining

StanfordUniversity

Stanford University

Submitted by

Suchir Agarwal

A Language-Informed Loss for Visual Generation

StanfordUniversity

Stanford University

Submitted by

Anikait Singh

Librarian Agents: Training LLMs to Curate Long-Context Workspaces that Anticipate Future Queries

StanfordUniversity

Stanford University

2

Submitted by

Harshit Joshi

SHELDON: Reasoning through Dual Search over Hypothesis and Observation Spaces

StanfordUniversity

Stanford University

Submitted by

Jiaru (Rubin) Zou

Hybrid Reasoning Agents

StanfordUniversity

Stanford University

Submitted by

Hermann Kumbong

Next-Concept Modeling: Fast, Parallel Coarse-to-Fine Text Generation

StanfordUniversity

Stanford University

Submitted by

Dianqiao Lei

Thinking Inertia: LLMs Keep Thinking When Told Not To

StanfordUniversity

Stanford University

Submitted by

Hwan Chang

Stateless Language Agents: Scaling Long-Horizon Automated Research

StanfordUniversity

Stanford University

Submitted by

Genghan Zhang

PTXBench: Benchmark and Adapt LLMs for GPU Kernel Optimization with Architecture-specific PTX

StanfordUniversity

Stanford University

Submitted by

Shenzhe Zhu

AISPA: User-Centric System Prompt Auditing for Large Language Model Applications

StanfordUniversity

Stanford University

Submitted by

Jiaru (Rubin) Zou

Recursive Multi-Agent Systems

StanfordUniversity

Stanford University