Viktor Kun\v{c}ak

Identifiers

• name variant Viktor Kun\v{c}ak 0.60 · backfill

Papers (7)

1. Orthologic for SAT Solving cs.LO · 2026 · author #3
2. First-Class Refinement Types for Scala cs.PL · 2026 · author #2
3. Formally Verified Linear-Time Invertible Lexing cs.PL · 2025 · author #2
4. Identifying Maximal Non-Redundant Integer Cone Generators cs.LO · 2019 · author #3
5. Neural-Network Guided Expression Transformation cs.AI · 2019 · author #2
6. Bidirectional Evaluation with Direct Manipulation cs.PL · 2018 · author #2
7. Minimal Synthesis of String To String Functions From Examples cs.FL · 2017 · author #2

Mentions

• 2510.18479 #2 · arxiv_oai · confidence 0.70 Viktor Kun\v{c}ak
• 2605.16421 #3 · arxiv_oai · confidence 0.70 Viktor Kun\v{c}ak

Frequent Coauthors

• Jad Hamza 1 shared papers
• Martin Odersky 1 shared papers
• Matt Bovel 1 shared papers
• Mika\"el Mayer 1 shared papers
• Ravi Chugh 1 shared papers
• Romain Edelmann 1 shared papers
• Ruzica Piskac 1 shared papers
• Samuel Chassot 1 shared papers
• Simon Guilloud 1 shared papers
• Slobodan Mitrovi\'c 1 shared papers
• Vladislas de Haldat 1 shared papers