Tree Reconstruction Guarantees from CRISPR-Cas9 Lineage Tracing Data Using Neighbor-Joining.
Proceedings of the Research in Computational Molecular Biology, 2025
Towards a Unified and Verified Understanding of Group-Operation Networks.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025
Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations.
CoRR, 2024
Do language models plan ahead for future tokens?
CoRR, 2024
Ultrafast classical phylogenetic method beats large protein language models on variant effect prediction.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Learning Deterministic Finite Automata from Confidence Oracles.
CoRR, 2023
Hybrid Alchemical Free Energy/Machine-Learning Methodology for the Computation of Hydration Free Energies.
J. Chem. Inf. Model., 2020
Distributed Verifiers in PCP.
CoRR, 2020
Generating Semantic Adversarial Examples with Differentiable Rendering.
CoRR, 2019