ENTITY
Jilin Hu
Jilin Hu
PulseAugur coverage of Jilin Hu — every cluster mentioning Jilin Hu across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
HybridProver framework enhances LLM-driven theorem proving
Researchers have developed HybridProver, a novel framework that integrates large language models (LLMs) with traditional tactic-based theorem proving. This approach uses proof sketches as an intermediate representation …
-
SEER framework tackles noisy, missing, and shifted time series data
Researchers have introduced SEER, a Transformer-based framework designed to enhance time series forecasting robustness. SEER addresses common data quality issues such as noise, anomalies, missing values, and distributio…