Tags

AI 1 AI4Code 1 AI4Education 1 AI4SE 12 AIHUB 1 ALLIES 1 Alloy 1 Artificial Intelligence 23 Automated Feedback 3 Automated Program Repair 26 Automated Program Repair" 1 Automated Reasoning 9 Automated Verification 8 Benchmark 1 C 1 C-Pack-IPAs 1 CFaults 8 Code Mutations 4 Code Understanding 1 Computer Science Education 6 Computer-aided Education 18 Constraint Solving 1 CSIC 2 Data Augmentation 2 Databases 3 ELIAS 1 ELLIS 2 ELSA 1 Enumerative Search 6 Fault Localisation 12 Fellowship 2 Formal Methods 29 Formula-Based Fault Localisation 2 Formula-based Fault Localization 2 Git 1 GitLab 1 GitSEED 3 Grant 2 Graph Neural Networks 4 IIIA 2 INESC-ID 2 Intelligent Tutoring Systems 1 InvAASTCluster 3 IRI 1 Large Language Models 19 LLM-Based Program Repair 8 LLM-Based Transpilation 4 LLM-Driven Program Repair 2 LLM4Code 1 LLMs for Code Understanding 5 Logic Programming 4 Logical Reasoning 2 Maximum Satisfiability 15 MaxSAT 4 MaxSAT-Based Fault Localisation 7 MENTOR 12 Model Checking 4 Model-Based Diagnosis 14 MSCA 1 MSCA COFUND 1 Mutation Testing 2 Neuro-Symbolic AI 20 Oxford 1 PhD 3 Postdoc 1 Program Analysis 10 Program Clustering 3 Program Equivalence 3 Program Invariants 3 Program Repair 2 Program Synthesis 6 Program Transformation 2 Programming Education 9 Prolog 4 Python 2 Python Verification 4 PyVeritas 4 Query Reverse Engineering 6 R 5 Reliable Reasoning 3 Semantic Robustness of Large Language Models 5 Sherlock4Py 1 Software Engineering 3 Software Engineering Education 4 Software Verification 4 SQL 6 SQUARES 4 Sudoku 2 Transparent AI 1 Trustworthy AI 4 UpMax 3 User-based Partitioning 3 Variable Alignment 4 Vision-Language Models 4 VoA 1