1work_id,doi,arxiv_id,title,source_name,year,type,primary_category,n_categories,c12,c36,ncs36,cited_by_count,fwci,has_abstract,is_oa,period,score,set,pi_review22964015378,10.4230/lipics.ecoop.2025.6,,Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories,Leibniz international proceedings in informatics,2025,conference-paper,software_engineering,3,15245.0,15245.0,11583.902021240152,15246,2196.5447,True,True,post,7717.916242571953,landmark,True34293846201,10.4230/oasics.saia.2024.1,,On Assessing ML Model Robustness: A Methodological Framework (Academic Track),OASIcs : OpenAccess Series in Informatics,2025,conference-paper,software_engineering,4,4701.0,4701.0,4178.076566446758,4702,904.6849,True,True,post,2379.92287676817,landmark,True42095152777,10.7551/mitpress/12274.003.0035,,Managing the Development of Large Software Systems (1970),The MIT Press eBooks,2021,book-chapter,software_engineering,1,939.0,970.0,750.7662588538313,1778,102.1417,True,False,baseline,750.7662588538313,landmark,True52911537985,,,Microservices vs. Service-oriented architecture,Aaltodoc (Aalto University),2018,dissertation,software_engineering,2,50.0,67.0,685.3986866791745,93,,False,False,baseline,685.3986866791745,landmark,True61486172410,10.1017/9781108974073.004,,Introduction to Software Testing,Cambridge University Press eBooks,2021,book-chapter,software_engineering,1,869.0,871.0,549.1255565449688,1056,136.0795,True,False,baseline,549.1255565449688,landmark,True77151510318,10.70675/416f6582z4576z444eza710z5e930d59bf97,,Unsupervised Translation of Programming Languages,,2022,dissertation,software_engineering,3,51.0,56.0,485.7543859649123,1,,True,False,baseline,485.7543859649123,landmark,True84391974543,10.1109/tse.2024.3368208,2307.07221,"Software Testing With Large Language Models: Survey, Landscape, and Vision",IEEE Transactions on Software Engineering,2024,article,software_engineering,3,351.0,554.0,439.6107042253521,554,579.8344,True,True,post,439.6107042253521,landmark,True93185223169,,,An Effort Estimation Model for Agile Software Development,,2020,dissertation,software_engineering,1,36.0,45.0,423.2192575406032,60,,False,False,baseline,423.2192575406032,landmark,True102171139698,10.22024/unikent/01.02.86353,,Test data generation: two evolutionary approaches to mutation testing,Kent Academic Repository (University of Kent),2021,dissertation,software_engineering,1,19.0,19.0,394.8918918918919,24,,True,True,baseline,394.8918918918919,landmark,True117131867455,10.1287/mnsc.2025.00535,,The Effects of Generative AI on High-Skilled Work: Evidence from Three Field Experiments with Software Developers,Management Science,2026,article,software_engineering,2,97.0,97.0,689.140622972096,25,228.8208,True,False,post,344.8563961944324,landmark,True124399452770,10.5753/compbr.2018.38.4541,,Engenharia de Software,Computação Brasil.,2018,article,software_engineering,1,503.0,611.0,323.9504225668329,1342,158.682,True,True,baseline,323.9504225668329,landmark,True134408219312,10.17760/d20705205,,Leveraging type annotations for effective fuzzing of python programs,,2024,dissertation,software_engineering,3,1.0,1.0,304.3333333333333,1,,True,False,post,304.3333333333333,landmark,True144402442491,10.5463/thesis.831,,From Smallest Software Particle to System Specification,,2024,dissertation,software_engineering,2,0.0,1.0,304.3333333333333,1,,True,True,post,304.3333333333333,landmark,True154403110951,10.32657/10356/179951,,Semantics-aware human-computer interaction software testing,,2024,dissertation,software_engineering,6,1.0,1.0,304.3333333333333,1,,True,True,post,304.3333333333333,landmark,True163008797115,10.48550/arxiv.2002.12543,2002.12543,Metamorphic Testing: A New Approach for Generating Next Test Cases,arXiv (Cornell University),2020,preprint,software_engineering,1,246.0,292.0,286.17663817663816,448,,True,True,baseline,286.17663817663816,landmark,True173177813494,10.4230/lipics.esem.2026.34,2107.03374,A Direction-Aware Study of LLM-Based Code Translation Across Eight Programming Languages,arXiv (Cornell University),2021,preprint,software_engineering,6,127.0,678.0,275.3873466752744,1430,,True,True,baseline,275.3873466752744,landmark,True187110046239,10.4230/oasics.icpec.2025.4,,Can Open Large Language Models Catch Vulnerabilities?,Repositório do ISCTE-IUL,2025,article,software_engineering,3,540.0,540.0,468.828520182987,1,1.0925,True,True,post,273.37978163259135,landmark,True194391677389,10.17771/pucrio.acad.65972,,IDENTIFYING CONCERNS WHEN SPECIFYING MACHINE LEARNING-ENABLED SYSTEMS: A PERSPECTIVE-BASED APPROACH,,2023,dissertation,software_engineering,1,7.0,8.0,230.9189189189189,3,,True,True,post,230.9189189189189,landmark,True207124592699,10.1007/s44443-025-00401-y,,MSTDP: a multi-scale temporal deep learning framework for just-in-time software defect prediction with cross-attention fusion,Journal of King Saud University - Computer and Information Sciences,2026,article,software_engineering,3,64.0,64.0,454.690720311486,64,585.7812,True,True,post,227.53411707673894,landmark,True213007157104,10.1109/tse.2019.2962027,1906.10742,"Machine Learning Testing: Survey, Landscapes and Horizons",IEEE Transactions on Software Engineering,2020,article,software_engineering,4,245.0,385.0,227.48310158362304,888,240.8699,True,True,baseline,227.48310158362304,landmark,True2258732440,10.22024/unikent/01.02.86458,,An exploration of novice compilation behaviour in BlueJ,Kent Academic Repository (University of Kent),2021,dissertation,software_engineering,3,59.0,60.0,226.01941747572815,61,,True,True,baseline,226.01941747572815,landmark,True232725449579,10.1016/bs.adcom.2018.03.015,,Mutation Testing Advances: An Analysis and Survey,Advances in computers,2018,book-chapter,software_engineering,1,63.0,129.0,223.78585461689588,425,230.7729,False,True,baseline,223.78585461689588,landmark,True242962772482,10.1145/3236009,,A survey of methods for explaining black box models,ISTI Open Portal,2019,article,software_engineering,1,719.0,1432.0,217.74340797667946,5022,232.193,True,True,baseline,217.74340797667946,landmark,True254293212596,10.3847/1538-4357/ac7c74,,The Astropy Project : Sustaining and Growing a Community-oriented Open-source Project and the Latest Major Release (v5.0) of the Core Package*,Repository of the Academy's Library (Library of the Hungarian Academy of Sciences),2022,article,software_engineering,3,704.0,2029.0,209.06737313811422,5022,296.1452,True,True,baseline,209.06737313811422,landmark,True264381982883,10.3390/app13095783,,"ChatGPT for Education and Research: Opportunities, Threats, and Strategies",Applied Sciences,2023,article,software_engineering,3,547.0,885.0,207.4225616221095,1062,249.5576,True,True,post,207.4225616221095,landmark,True272114444139,10.25946/26315761,,Innovation and Change in the Information Systems Curriculum of an Australian University:a Socio-Technical Perspective,Victoria University Research Repository (Victoria University),2024,dissertation,programming_languages,1,17.0,17.0,661.9925925925926,54,,True,True,post,661.9925925925926,landmark,True281844775953,10.82444/warw.33641182,,Metric domains for completeness,Warwick Research Archive Portal (University of Warwick),2026,dissertation,programming_languages,2,34.0,34.0,1040.594982078853,40,,True,True,post,120.87749969701756,landmark,True294396242417,10.1145/3649828,,Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach,Proceedings of the ACM on Programming Languages,2024,article,programming_languages,4,83.0,148.0,117.44112676056338,148,155.4628,True,True,post,117.44112676056338,landmark,True302327217190,10.26190/unsworks/23844,,Verification of programs in virtual memory using separation logic,"UNSWorks (University of New South Wales, Sydney, Australia)",2022,dissertation,programming_languages,3,13.0,13.0,97.35745614035089,13,,True,True,baseline,97.35745614035089,landmark,True312491926874,10.26190/unsworks/17927,,Formal memory models for verifying C systems code,"UNSWorks (University of New South Wales, Sydney, Australia)",2022,dissertation,programming_languages,5,10.0,11.0,82.37938596491229,24,,True,True,baseline,82.37938596491229,landmark,True324205342885,10.1007/s13132-021-00854-2,,The Futures of Europe: Society 5.0 and Industry 5.0 as Driving Forces of Future Universities,Journal of the Knowledge Economy,2022,article,programming_languages,1,171.0,334.0,82.08749781143715,572,117.4739,True,True,baseline,82.08749781143715,landmark,True332189687801,10.7275/7408407.0,,General Program Synthesis from Examples Using Genetic Programming with Parent Selection Based on Random Lexicographic Orderings of Test Cases,Scholarworks (University of Massachusetts Amherst),2021,dissertation,programming_languages,3,18.0,18.0,81.87032967032967,18,,True,True,baseline,81.87032967032967,landmark,True342400988715,10.48550/arxiv.2605.09524,2605.09524,Functional Stable Model Semantics and Answer Set Programming Modulo Theories,arXiv (Cornell University),2026,preprint,programming_languages,3,22.0,22.0,856.0701754385965,22,,True,True,post,78.21485274512901,landmark,True352796251079,10.1007/978-3-319-75844-2_6,,A Concise Introduction to Logic,Springer eBooks,2018,book-chapter,programming_languages,1,139.0,167.0,77.56442638324476,401,44.1726,False,False,baseline,77.56442638324476,landmark,True36159920301,10.48456/tr-346,,On intuitionistic linear logic,OpenGrey (Institut de l'Information Scientifique et Technique),2021,dissertation,programming_languages,2,16.0,16.0,72.77362637362637,39,,True,True,baseline,72.77362637362637,landmark,True374389109635,10.5463/thesis.524,,A Unifying Theory for Graph Transformation,,2023,dissertation,programming_languages,3,2.0,2.0,69.63636363636364,2,,True,True,post,69.63636363636364,landmark,True38630549275,10.26190/unsworks/16534,,The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels,UNSWorks (UNSW Sydney),2022,dissertation,programming_languages,5,8.0,9.0,67.40131578947368,10,,True,True,baseline,67.40131578947368,landmark,True394403223258,10.1145/3689736,2310.15991,WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models,Proceedings of the ACM on Programming Languages,2024,article,programming_languages,8,52.0,82.0,65.0687323943662,82,86.1348,True,True,post,65.0687323943662,landmark,True404313480275,10.1007/978-3-031-21762-3_3,,Algorithmics: The Spirit of Computing,SpringerBriefs in computer science,2023,book-chapter,programming_languages,2,64.0,64.0,57.94535519125683,90,30.3187,False,False,post,57.94535519125683,landmark,True412790202156,10.14722/ndss.2018.23082,,ZEUS: Analyzing Safety of Smart Contracts,Network and Distributed System Security Symposium,2018,conference-paper,programming_languages,5,94.0,191.0,56.63186311787072,702,60.5919,True,True,baseline,56.63186311787072,landmark,True423207822760,10.33612/diss.168003240,,Computer programming skills: A cognitive perspective,,2021,dissertation,programming_languages,1,11.0,15.0,56.50485436893204,21,,True,True,baseline,56.50485436893204,landmark,True434297611890,10.1017/9781108778756.017,,Subsystems of Second-Order Arithmetic,Cambridge University Press eBooks,2022,book-chapter,programming_languages,3,59.0,61.0,50.93184096224524,65,4.0902,True,False,baseline,50.93184096224524,landmark,True442915211782,10.1017/9781108654555.013,,Novice Programmers and Introductory Programming,Cambridge University Press eBooks,2019,book-chapter,programming_languages,1,11.0,45.0,45.68985849056604,175,59.7005,False,False,baseline,45.68985849056604,landmark,True454381516741,10.1007/978-3-031-22206-1_2,,The Python Programming Language,Springer eBooks,2023,book-chapter,programming_languages,2,70.0,82.0,45.335480407944175,96,25.4404,False,False,post,45.335480407944175,landmark,True463115704172,,,Lineage-driven Fault Injection for Actor-based Programs,KTH Publication Database DiVA (KTH Royal Institute of Technology),2019,dissertation,programming_languages,3,2.0,2.0,42.74766355140187,2,,True,True,baseline,42.74766355140187,landmark,True473146286581,,,Probabilistic Grammatical Evolution,Estudo Geral (Universidade de Coimbra),2021,dissertation,programming_languages,2,4.0,9.0,40.935164835164834,12,,True,True,baseline,40.935164835164834,landmark,True487134194765,10.1111/tgis.70218,,A Debris‐Flow Hazard Assessment Framework Based on an Improved AHP – CRITIC Method: A Case Study of Gaoling Gully,Transactions in GIS,2026,article,programming_languages,2,11.0,11.0,15.074074074074074,11,77.5749,True,False,post,39.107426372564504,landmark,True492797025890,10.13025/17505,,Openness and praxis: A situated study of academic staff meaning-making and decision-making with respect to openness and use of open educational practices in higher education,Arrow@dit (Dublin Institute of Technology),2018,dissertation,programming_languages,1,3.0,6.0,38.953125,12,,True,True,baseline,38.953125,landmark,True504396905794,10.17760/d20653005,,Predicting typeScript type annotations and definitions with machine learning,,2024,dissertation,programming_languages,3,0.0,1.0,38.94074074074074,1,,True,True,post,38.94074074074074,landmark,True514410362977,10.1038/s41586-025-08984-2,,Emergence of Calabi–Yau manifolds in high-precision black-hole scattering,Nature,2025,article,programming_languages,1,74.0,74.0,30.45267489711934,74,33.8684,True,True,post,37.46315526076251,landmark,True523122286897,10.1109/cgo51591.2021.9370308,,MLIR: Scaling Compiler Infrastructure for Domain Specific Computation,IEEE/ACM International Symposium on Code Generation and Optimization (CGO),2021,conference-paper,compilers,4,74.0,155.0,42.480268473059475,541,52.9944,True,False,baseline,42.480268473059475,landmark,True534407983386,10.1016/j.energy.2025.135286,,Parallel TimesNet-BiLSTM model for ultra-short-term photovoltaic power forecasting using STL decomposition and auto-tuning,Energy,2025,article,compilers,1,83.0,83.0,28.27389289459036,83,34.5383,False,False,post,42.01948495463904,landmark,True544399087350,10.1007/978-3-031-56586-1_67,,E-learning and the Future of Business Education: The Case of GCC,"Studies in systems, decision and control",2024,book-chapter,compilers,1,25.0,61.0,39.77033011272142,61,44.6583,False,False,post,39.77033011272142,landmark,True554398768423,10.1016/j.future.2024.05.034,2310.04963,LLM4VV: Developing LLM-driven testsuite for compiler validation,Future Generation Computer Systems,2024,article,compilers,5,36.0,48.0,38.08901408450704,48,50.4204,False,True,post,38.08901408450704,landmark,True562188794726,10.1007/978-3-319-91734-4_32,,Dynamic Dataflow Graphs,Springer eBooks,2018,book-chapter,compilers,2,25.0,25.0,35.799701046337816,26,8.9221,False,False,baseline,35.799701046337816,landmark,True574406882143,10.3389/fdgth.2025.1460167,,Beyond the current state of just-in-time adaptive interventions in mental health: a qualitative systematic review,Frontiers in Digital Health,2025,review,compilers,2,54.0,54.0,4.153846153846154,54,8.4784,True,True,post,27.337978163259134,landmark,True582884622219,10.1039/c7np00064b,,"The value of universally available raw NMR data for transparency, reproducibility, and integrity in natural product research",Natural Product Reports,2018,article,compilers,1,25.0,51.0,27.040051638148082,122,28.5226,True,True,baseline,27.040051638148082,landmark,True593188948186,10.48550/arxiv.2108.05450,2108.05450,Speed Control of DC Motor Using Fuzzy PID Controller,arXiv (Cornell University),2021,preprint,compilers,2,55.0,73.0,24.44561426312255,87,,True,True,baseline,24.44561426312255,landmark,True602962724414,10.1109/jproc.2018.2817118,,Machine Learning in Compiler Optimization,Proceedings of the IEEE,2018,article,compilers,4,25.0,64.0,22.34837655707576,193,27.4802,True,True,baseline,22.34837655707576,landmark,True614408711372,10.1109/tsg.2025.3553737,,A Progressive Polyhedral Approximation Method for Nonlinear PDE-Constrained Electricity-Water Nexus Dispatch,IEEE Transactions on Smart Grid,2025,article,compilers,3,39.0,39.0,8.943719676549865,39,8.8867,True,False,post,19.744095340131597,landmark,True624392397123,10.1016/j.ijer.2024.102326,,Evolution to revolution: Critical exploration of educators’ perceptions of the impact of Artificial Intelligence (AI) on the teaching and learning process in the GCC region,International Journal of Educational Research,2024,article,compilers,1,37.0,64.0,19.268802878681992,64,24.4917,False,True,post,19.268802878681992,landmark,True632783614532,10.1145/3197978,1801.04405,A Survey on Compiler Autotuning using Machine Learning,ACM Computing Surveys,2018,article,compilers,5,21.0,55.0,19.205636103736982,233,25.7446,True,True,baseline,19.205636103736982,landmark,True642206959660,10.58088/85wq-pw11,,Automatic selection of compiler optimizations using program characterization and machine learning,"Library, Museums and Press - UDSpace (University of Delaware)",2024,dissertation,compilers,5,1.0,1.0,19.080000000000002,1,,True,True,post,19.080000000000002,landmark,True652249134499,10.58088/vbbd-jy30,,Improving compiler optimizations using machine learning,"Library, Museums and Press - UDSpace (University of Delaware)",2024,dissertation,compilers,8,1.0,1.0,19.080000000000002,1,,True,True,post,19.080000000000002,landmark,True663139485201,,,Towards automated construction of compiler optimizations,DSpace@MIT (Massachusetts Institute of Technology),2020,dissertation,compilers,5,2.0,2.0,18.265060240963855,3,,True,False,baseline,18.265060240963855,landmark,True673214427835,,,Sparse tensor algebra compilation,DSpace@MIT (Massachusetts Institute of Technology),2020,dissertation,compilers,3,2.0,2.0,18.265060240963855,3,,True,True,baseline,18.265060240963855,landmark,True683023977240,10.7488/era/309,,From constraint programming to heterogeneous parallelism,ERA,2020,dissertation,compilers,8,0.0,2.0,18.265060240963855,2,,True,True,baseline,18.265060240963855,landmark,True693046781014,10.1007/978-3-030-47956-5_14,,ExaStencils: Advanced Multigrid Solver Generation,Lecture notes in computational science and engineering,2020,book-chapter,compilers,6,8.0,12.0,18.204255319148935,30,29.7428,True,True,baseline,18.204255319148935,landmark,True707127344046,10.1007/s44217-026-01188-4,,Artificial intelligence policy challenges and institutional readiness in Omani higher education,Discover Education,2026,article,compilers,3,5.0,5.0,35.52271252433485,5,45.7642,True,True,post,17.776102896620227,landmark,True713132279601,10.1007/978-3-030-62066-0_12,,Coping with COVID-19: Higher Education in the GCC Countries,Springer proceedings in complexity,2021,conference-paper,compilers,1,23.0,37.0,17.288455680779773,43,37.049,False,False,baseline,17.288455680779773,landmark,True723103225940,,,An LLVM backend for the Open Modelica Compiler,KTH Publication Database DiVA (KTH Royal Institute of Technology),2019,dissertation,compilers,4,3.0,3.0,16.862068965517242,3,,True,True,baseline,16.862068965517242,landmark,True734313894866,10.3390/publications11010002,,"The Science of Literature Reviews: Searching, Identifying, Selecting, and Synthesising",Publications,2023,article,compilers,1,91.0,187.0,16.423071260306244,248,45.5306,True,True,post,16.423071260306244,landmark,True744407942537,10.1145/3708493.3712691,,LLM Compiler: Foundation Language Models for Compiler Optimization,ACM SIGPLAN International Conference on Compiler Construction (CC),2025,conference-paper,compilers,6,31.0,31.0,23.55532716683796,31,36.5894,True,True,post,15.694024501130242,landmark,True752787911489,10.1007/978-3-319-68394-2_11,,Automated Code Generation for Maximizing Performance of Detailed Chemistry Calculations in OpenFOAM,Springer eBooks,2018,book-chapter,compilers,4,5.0,10.0,14.319880418535128,37,25.2794,False,False,baseline,14.319880418535128,landmark,True762949967139,10.1109/cgo.2019.8661197,,Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code,IEEE/ACM International Symposium on Code Generation and Optimization (CGO),2019,conference-paper,compilers,6,26.0,53.0,14.250956889605158,182,15.9098,True,True,baseline,14.250956889605158,landmark,True774385245566,10.4230/lipics.itp.2023.19,,Exploiting Generative AI to Scale up Intelligent Tutoring Systems,DROPS (Schloss Dagstuhl – Leibniz Center for Informatics),2023,article,formal_verification,3,54921.0,72130.0,6621.879465206806,76658,4908.38,True,True,post,6621.879465206806,landmark,True781498342204,10.1145/3788687,,An Introduction to Input/Output Automata,Formal Aspects of Computing,2026,article,formal_verification,2,284.0,284.0,801.9048786467272,1011,3.5639,True,True,post,1009.682644528029,landmark,True793117137355,10.1145/3815481,,egg: Fast and Extensible Equality Saturation,Communications of the ACM,2026,article,formal_verification,3,132.0,132.0,146.88980220909326,132,0.0,True,False,post,469.28911647077405,landmark,True801481397690,10.1007/978-3-319-10575-8_11,,Satisfiability Modulo Theories,Springer eBooks,2018,book-chapter,formal_verification,2,501.0,585.0,432.45569620253167,1122,250.357,False,False,baseline,432.45569620253167,landmark,True812254118105,10.48550/arxiv.2608.14274,2608.14274,Solving QBF by Clause Selection,arXiv (Cornell University),2026,preprint,formal_verification,3,60.0,60.0,2151.793313069909,60,,True,True,post,213.31323475944274,landmark,True824206807714,10.3233/faia336,,Handbook of Satisfiability,Frontiers in artificial intelligence and applications,2021,book,formal_verification,2,678.0,777.0,184.30546075085323,1038,93.9568,False,False,baseline,184.30546075085323,landmark,True832540354435,10.48550/arxiv.2605.09519,2605.09519,Weighted Rules under the Stable Model Semantics,arXiv (Cornell University),2026,preprint,formal_verification,2,39.0,39.0,1517.578947368421,39,,True,True,post,138.65360259363777,landmark,True842921681895,10.18154/rwth-2020-02348,1903.07993,Parameter synthesis in Markov models,RWTH Publications (RWTH Aachen),2020,dissertation,formal_verification,6,14.0,19.0,111.636815920398,26,,True,True,baseline,111.636815920398,landmark,True854225922019,10.1007/978-3-030-99524-9_24,,cvc5: A Versatile and Industrial-Strength SMT Solver,Lecture notes in computer science,2022,conference-paper,formal_verification,4,111.0,222.0,98.23784328546233,468,135.8061,True,True,baseline,98.23784328546233,landmark,True864318573502,10.5463/thesis.149,,Semantically informed methods in structural proof theory,,2022,dissertation,formal_verification,2,9.0,13.0,97.35745614035089,14,,True,True,baseline,97.35745614035089,landmark,True872154148696,10.1007/978-3-319-77452-7_9,,Supervisory Control of Timed Discrete-Event Systems,Communications and control engineering/Communications and control engineering series,2018,book-chapter,formal_verification,1,100.0,117.0,86.49113924050633,365,36.4666,False,False,baseline,86.49113924050633,landmark,True884297781990,10.4230/oasics.dx.2024.10,,"Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems",HAL (Le Centre pour la Communication Scientifique Directe),2024,preprint,formal_verification,3,426.0,431.0,78.93772893772893,431,,True,True,post,78.93772893772893,landmark,True892789444712,10.1080/00207543.2018.1444806,,Industry 4.0: state of the art and future trends,International Journal of Production Research,2018,article,formal_verification,4,298.0,734.0,61.81756449008323,3221,267.6956,True,False,baseline,61.81756449008323,landmark,True901586677474,,,Handbook of Satisfiability,,2021,article,formal_verification,2,374.0,375.0,60.365327611379016,486,1.7496,True,False,baseline,60.365327611379016,landmark,True912486519520,10.48456/tr-792,,Machine learning and automated theorem proving,OpenGrey (Institut de l'Information Scientifique et Technique),2021,dissertation,formal_verification,4,12.0,12.0,54.58021978021978,14,,True,True,baseline,54.58021978021978,landmark,True924289665848,10.4230/lipics.csl.2026.30,,Reward Interfaces with Best-Effort Implementations,DROPS (Schloss Dagstuhl – Leibniz Center for Informatics),2026,article,formal_verification,4,15.0,15.0,42.354130914439814,15,0.0,True,True,post,53.328308689860684,landmark,True93149631060,10.48550/arxiv.2411.01592,2411.01592,Decidability Issues for Petri Nets -- a survey,arXiv (Cornell University),2024,preprint,formal_verification,3,33.0,33.0,53.32230215827339,72,,True,True,post,53.32230215827339,landmark,True942890660842,10.48550/arxiv.1809.08098,1809.08098,Efficient Formal Safety Analysis of Neural Networks,arXiv (Cornell University),2018,preprint,formal_verification,6,41.0,98.0,52.040918390543304,167,,True,True,baseline,52.040918390543304,landmark,True951932627192,10.82444/warw.33484729,,Model checking quantum protocols,Warwick Research Archive Portal (University of Warwick),2026,dissertation,formal_verification,4,14.0,14.0,141.45283018867926,18,,True,True,post,49.77308811053664,landmark,True964393942723,10.1007/978-3-031-57256-2_15,,State of the Art in Software Verification and Witness Validation: SV-COMP 2024,Lecture notes in computer science,2024,conference-paper,formal_verification,4,66.0,78.0,48.594819515239784,78,53.289,True,True,post,48.594819515239784,landmark,True972957311447,10.1007/978-3-030-25540-4_26,,The Marabou Framework for Verification and Analysis of Deep Neural Networks,Lecture notes in computer science,2019,conference-paper,formal_verification,4,55.0,141.0,46.39818783571157,498,53.6017,True,True,baseline,46.39818783571157,landmark,True982905489900,,,Machine Learning for SAT Solvers,UWSpace (University of Waterloo),2018,dissertation,formal_verification,3,3.0,5.0,44.97120921305182,9,,True,True,baseline,44.97120921305182,landmark,True992900153411,10.1145/3290354,,An abstract domain for certifying neural networks,Proceedings of the ACM on Programming Languages,2019,article,formal_verification,3,99.0,209.0,44.06671585274556,609,46.6555,True,True,baseline,44.06671585274556,landmark,True1006944541633,10.18154/rwth-2023-09669,,Verification of multi-objective Markov models,RWTH Publications (RWTH Aachen),2023,dissertation,formal_verification,6,2.0,2.0,43.15151515151515,4,,True,True,post,43.15151515151515,landmark,True1013016155638,10.1109/sp40000.2020.00024,,VerX: Safety Verification of Smart Contracts,Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy,2020,conference-paper,formal_verification,6,76.0,114.0,42.08811748998665,247,40.057,True,True,baseline,42.08811748998665,landmark,True102