Lei Song

Identifiers

• name variant Lei Song 0.60 · backfill

Papers (20)

1. Analytic Drift Resister for Non-Exemplar Continual Graph Learning cs.LG · 2026 · author #1
2. Sample-efficient LLM Optimization with Reset Replay cs.LG · 2025 · author #3
3. Time-RA: Towards Time Series Reasoning for Anomaly Diagnosis with LLM Feedback cs.LG · 2025 · author #3
4. A VLM-based Method for Visual Anomaly Detection in Robotic Scientific Laboratories cs.CV · 2025 · author #6
5. Kodaira vanishing for singular varieties revisited math.AG · 2018 · author #2
6. On the projective normality of cyclic coverings over a rational surface math.AG · 2016 · author #1
7. Formation of the prebiotic molecule NH$_2$CHO on astronomical amorphous solid water surfaces: accurate tunneling rate calculations physics.chem-ph · 2016 · author #1
8. Verify LTL with Fairness Assumptions Efficiently cs.LO · 2016 · author #2
9. The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach cs.FL · 2016 · author #2
10. On the projective normality of double coverings over a rational surface math.AG · 2015 · author #2
11. Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata cs.FL · 2015 · author #2
12. Design and optimization of DBSCAN Algorithm based on CUDA cs.DC · 2015 · author #3
13. A Simple Probabilistic Extension of Modal Mu-calculus cs.LO · 2015 · author #2
14. Singularities of secant varieties math.AG · 2015 · author #2
15. On the universal family of Hilbert schemes of points on a surface math.AG · 2014 · author #1
16. Probably Safe or Live cs.LO · 2014 · author #2
17. Locating Multiple Ultrasound Targets in Chorus cs.IT · 2013 · author #1
18. On the singularities of effective loci of line bundles math.AG · 2013 · author #1
19. Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes cs.LO · 2012 · author #1
20. Late Weak Bisimulation for Markov Automata cs.FL · 2012 · author #4

Mentions

• 1305.2244 #1 · backfill · confidence 0.70 Lei Song
• 1204.1848 #1 · backfill · confidence 0.70 Lei Song
• 1202.4116 #4 · backfill · confidence 0.70 Lei Song

Frequent Coauthors

• Lijun Zhang 6 shared papers
• Jens Chr. Godskesen 2 shared papers
• Jiang Bian 2 shared papers
• Yuan Feng 2 shared papers
• Zichuan Liu 2 shared papers
• Bingchen Wang 1 shared papers
• Biswajit Rajaguru 1 shared papers
• Boyuan Du 1 shared papers
• Chenggang Wang 1 shared papers
• Chenglong Zhang 1 shared papers
• Chenxu Wang 1 shared papers
• Chih-Chi Chou 1 shared papers
• Christian Eisentraut 1 shared papers
• Donu Arapura 1 shared papers
• Holger Hermanns 1 shared papers
• Huaping Liu 1 shared papers
• Jinyu Wang 1 shared papers
• Ji Wang 1 shared papers
• Johannes K\"astner 1 shared papers
• Joost-Pieter Katoen 1 shared papers