Huawei-AI4Math

huawei-ai4math's activity

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

Jianyuan1 

updated 2 models 7 months ago

huawei-ai4math/Mathesis-Autoformalizer-HPO

8B • Updated Jul 11, 2025

huawei-ai4math/Mathesis-Autoformalizer

8B • Updated Jul 10, 2025 • 1

Jianyuan1 

published 2 models 7 months ago

huawei-ai4math/Mathesis-Autoformalizer

8B • Updated Jul 10, 2025 • 1

huawei-ai4math/Mathesis-Autoformalizer-HPO

8B • Updated Jul 11, 2025

Jianyuan1 

authored a paper 8 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6

Jianyuan1 

authored 2 papers 9 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

Jianyuan1 

authored 4 papers 12 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 • 2

Dyve: Thinking Fast and Slow for Dynamic Process Verification

Paper • 2502.11157 • Published Feb 16, 2025 • 7