Lydia Kondylidou

Identifiers

• name variant Lydia Kondylidou 0.60 · backfill

Papers (2)

1. Tao's Equational Proof Challenge Accepted (Technical Report) cs.LO · 2026 · author #1
2. The TPTP Format for Interpretations cs.LO · 2024 · author #4

Mentions

• 2406.06108 #4 · arxiv_oai · confidence 0.70 Lydia Kondylidou
• 2605.21200 #1 · arxiv_oai · confidence 0.70 Lydia Kondylidou

Frequent Coauthors

• Alexander Steen 1 shared papers
• Geoff Sutcliffe 1 shared papers
• Jasmin Blanchette 1 shared papers
• Marijn J.H. Heule 1 shared papers
• Pascal Fontaine 1 shared papers