Aram H. Markosyan
Orcid: 0000-0002-3213-8333
According to our database1,
Aram H. Markosyan
authored at least 13 papers
between 2022 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations.
CoRR, October, 2025
CoRR, October, 2025
What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces.
CoRR, March, 2025
Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, 2025
Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025
2024
Don't Transform the Code, Code the Transforms: Towards Precise Code Rewriting using LLMs.
CoRR, 2024
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
2023
CoRR, 2023
2022
Memorization Without Overfitting: Analyzing the Training Dynamics of Large Language Models.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022