Jiyuan

jytan12's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 18 days ago

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

Paper • 2610.31810 • Published 23 days ago • 9

submitted a paper to Daily Papers 18 days ago

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

Paper • 2610.31810 • Published 23 days ago • 9

upvoted a paper 21 days ago

CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference

Paper • 2607.22511 • Published Sep 15 • 1

published a dataset about 1 month ago

jytan12/causalsmith-runs

Updated Oct 5 • 538

updated a dataset about 1 month ago

jytan12/causalsmith-runs

Updated Oct 5 • 538

authored a paper about 1 month ago

CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference

Paper • 2607.22511 • Published Sep 15 • 1

upvoted a paper about 1 month ago

RPTune: Learned Context Curation for LLM Catalog Search

Paper • 2610.00964 • Published Oct 1 • 15

upvoted a paper about 2 months ago

BI-Agent and BI-Bench: Towards Automating End-to-End Business Intelligence

Paper • 2609.20886 • Published Sep 16 • 18

updated a model about 2 months ago

jytan12/causalean-retrieval

Sentence Similarity • 0.3B • Updated Sep 21 • 13

published a model about 2 months ago

jytan12/causalean-retrieval

Sentence Similarity • 0.3B • Updated Sep 21 • 13