Zhong

Jianyuan1's activity

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

authored a paper 7 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6

authored 2 papers 8 months ago

GuardT2I: Defending Text-to-Image Models from Adversarial Prompts

Paper • 2403.01446 • Published Mar 3, 2024

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier

Paper • 2505.11966 • Published May 17, 2025 • 5

authored 4 papers 11 months ago

Multi-task self-supervised learning for Robust Speech Recognition

Paper • 2001.09239 • Published Jan 25, 2020

Attention is All You Need in Speech Separation

Paper • 2010.13154 • Published Oct 25, 2020

SpeechBrain: A General-Purpose Speech Toolkit

Paper • 2106.04624 • Published Jun 8, 2021 • 1

Dyve: Thinking Fast and Slow for Dynamic Process Verification

Paper • 2502.11157 • Published Feb 16, 2025 • 7