The Command Line GUIde: Graphical Interfaces from Man Pages via AI

Συγγραφείς: Saketh Ram Kasibatla, Kiran Medleri Hiremath, Raven Rothkopf, Sorin Lerner, Haijun Xia, Brian Hempel

Πηγή: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). :173-178

Θεματικοί όροι: Human-Computer Interaction, FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Artificial Intelligence, Human-Computer Interaction (cs.HC)

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2510.01453
http://arxiv.org/abs/2510.01453

HiLDE: Intentional Code Generation via Human-in-the-Loop Decoding

Συγγραφείς: Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova

Πηγή: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). :222-233

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction, Human-Computer Interaction (cs.HC), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2505.22906

Decision-Oriented Programming with Aporia

Συγγραφείς: Saketh Ram Kasibatla, Raven Rothkopf, Hila Peleg, Benjamin C. Pierce, Sorin Lerner, Harrison Goldstein, Nadia Polikarpova

Πηγή: CoRR.

Θεματικοί όροι: Human-Computer Interaction, FOS: Computer and information sciences, Human-Computer Interaction (cs.HC)

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2604.05203
http://arxiv.org/abs/2604.05203

Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game

Συγγραφείς: Prisha Samadarshi, Mariam Mustafa, Anushka Kulkarni, Raven Rothkopf, Tuhin Chakrabarty, Smaranda Muresan

Πηγή: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. :21219-21236

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Computation and Language, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computation and Language (cs.CL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.11012

Rose: Extensible Autodiff on the Web

Συγγραφείς: Raven Rothkopf

Πηγή: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. :46-48

Towards Reactive Synthesis as a Programming Paradigm

Συγγραφείς: Leyi Cui, Raven Rothkopf, Mark Santolucito

Θεματικοί όροι: Human-computer interaction, Programming languages, Program Synthesis, Reactive Synthesis, Temporal Stream Logic, Specification Engineering Challenges and Tools, Computer-Human Interaction

Relation: https://figshare.com/articles/conference_contribution/Towards_Reactive_Synthesis_as_a_Programming_Paradigm/25587741

Διαθεσιμότητα: https://doi.org/10.1184/R1/25587741.v1
https://figshare.com/articles/conference_contribution/Towards_Reactive_Synthesis_as_a_Programming_Paradigm/25587741

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control

Συγγραφείς: William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito

Πηγή: CoRR.

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2406.07400

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis

Συγγραφείς: William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito

Πηγή: CoRR.

Θεματικοί όροι: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2410.19736

Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic

Συγγραφείς: Raven Rothkopf, Angel Leyi Cui, Hannah Tongxin Zeng, Arya Sinha, Mark Santolucito

Θεματικοί όροι: Human-computer interaction, Programming languages, Program Synthesis, Reactive Synthesis, Temporal Stream Logic, Google Blockly, structure editors, visual programming, Computer-Human Interaction

Relation: https://figshare.com/articles/conference_contribution/Towards_the_Usability_of_Reactive_Synthesis_Building_Blocks_of_Temporal_Logic/22277356

Διαθεσιμότητα: https://doi.org/10.1184/R1/22277356.v1
https://figshare.com/articles/conference_contribution/Towards_the_Usability_of_Reactive_Synthesis_Building_Blocks_of_Temporal_Logic/22277356

Rose: Composable Autodiff for the Interactive Web

Συγγραφείς: Sam Estep and Wode Ni and Raven Rothkopf and Joshua Sunshine, Estep, Sam, Ni, Wode, Rothkopf, Raven, Sunshine, Joshua

Όροι ευρετηρίου: Automatic differentiation, differentiable programming, compilers, web, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

Σύνδεσμος: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.15
Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)

Rose: Composable Autodiff for the Interactive Web (Artifact)

Συγγραφείς: Sam Estep and Wode Ni and Raven Rothkopf and Joshua Sunshine, Estep, Sam, Ni, Wode, Rothkopf, Raven, Sunshine, Joshua

Όροι ευρετηρίου: Automatic differentiation, differentiable programming, compilers, web, Article, Text, doc-type:ResearchArticle, publishedVersion

Σύνδεσμος: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.7
Is Part Of DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)

Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis

Συγγραφείς: Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito

Πηγή: CoRR.

Rose: Efficient and Extensible Autodiff on the Web

Συγγραφείς: Sam Estep, Raven Rothkopf, Wode Ni, Joshua Sunshine

Πηγή: CoRR.

Rose: Composable Autodiff for the Interactive Web

Συγγραφείς: Estep, Sam, Ni, Wode, Rothkopf, Raven, Sunshine, Joshua

Συνεισφορές: Sam Estep and Wode Ni and Raven Rothkopf and Joshua Sunshine

Θεματικοί όροι: Automatic differentiation, differentiable programming, compilers, web

Περιγραφή αρχείου: application/pdf

Relation: Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.15

Διαθεσιμότητα: https://doi.org/10.4230/LIPIcs.ECOOP.2024.15
https://nbn-resolving.org/urn:nbn:de:0030-drops-208642
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.15

Rose: Composable Autodiff for the Interactive Web (Artifact)

Συγγραφείς: Estep, Sam, Ni, Wode, Rothkopf, Raven, Sunshine, Joshua

Συνεισφορές: Sam Estep and Wode Ni and Raven Rothkopf and Joshua Sunshine

Θεματικοί όροι: Automatic differentiation, differentiable programming, compilers, web

Περιγραφή αρχείου: application/pdf

Relation: Is Part Of DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.7

Διαθεσιμότητα: https://doi.org/10.4230/DARTS.10.2.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-209053
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.7