Yoshiki Takashima

11 papers A* 4B 1Journal 4Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	CourtReasoner: Can LLM Agents Reason Like Judges? EMNLP Sophia Simeng Han, Yoshiki Takashima, Shannon Zejiang Shen, Chen Liu, Yixin Liu, Roque K. Thuo, Sonia Knowlton, Ruzica Piskac, Scott J. Shapiro, Arman Cohan
2025	A*	`conf`	VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models. ASE Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
2024	—	`conf`	Automatically Enforcing Rust Trait Properties. VMCAI (2) Twain Byrnes, Yoshiki Takashima, Limin Jia
2024	J	`jnl`	Crabtree: Rust API Test Synthesis Guided by Coverage and Type. Proc. ACM Program. Lang. Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu
2024	J	`jnl`	Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems. CoRR Stephen Miner, Yoshiki Takashima, Simeng Han, Ferhat Erata, Timos Antonopoulos, Ruzica Piskac, Scott J. Shapiro
2024	J	`jnl`	VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. CoRR Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
2023	B	`conf`	Mariposa: Measuring SMT Instability in Automated Program Verification. FMCAD Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
2023	—	`conf`	PropProof: Free Model-Checking Harnesses from PBT. ESEC/SIGSOFT FSE Yoshiki Takashima
2021	J	`jnl`	Development of a Dengue Virus Serotype-Specific Non-Structural Protein 1 Capture Immunochromatography Method. Sensors Kanaporn Poltep, Emi E. Nakayama, Tadahiro Sasaki, Takeshi Kurosu, Yoshiki Takashima, Juthamas Phadungsombat, Nathamon Kosoltanapiwat, Borimas Hanboonkunupakarn, Sarin Suwanpakdee, Hisham A. Imad, Narinee Srimark, Chiaki Kitamura, Atsushi Yamanaka, Akio Okubo, Tatsuo Shioda, Pornsawan Leaungwutiwong
2021	A*	`conf`	SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. PLDI Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu
2019	A*	`conf`	VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. CCS Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner