Scholar
Taolue Chen
Google Scholar ID: Qv_-WU4AAAAJ
School of Computing and Mathematical Sciences, Birkbeck, University of London
Citations & Impact
Citations
2,387
H-index
28
i10-index
59
Publications
20
Co-authors
100
list available
Contact
Publications
Resume
Academic Achievements
- Published multiple papers including but not limited to: 'Beyond Sequences: Two-dimensional Representation and Dependency Encoding for Code Generation' (ACL 2025, to appear), 'Less is More: DocString Compression in Code Generation' (ACM TOSEM, accepted), 'Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation' (Information and Software Technology), etc.
Research Experience
- Neuro-symbolic software engineering and verification, (logic-based) program analysis and constraint solving, probabilistic verification (during PhD and postdoctoral time), process algebra (during PhD time). Specifically, works on neural theorem proving for maths and software verification and neural code generation.
Education
- Insufficient information
Background
- A Computer Scientist and an Applied Mathematician working in Artificial Intelligence (Machine Learning and Natural Language Processing in particular), Software Engineering, Programming Language, Program Analysis, and Verification. Particularly interested in the interactions of these subjects. Also has general interests in (both continuous and discrete) Mathematics broadly related to Computer Science (e.g., Algorithms, Computational Complexity, and Quantum Computing).
