Search Results for author:
Found 2 papers, 0 papers with code
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
Prompting has become one of the main approaches to leverage emergent capabilities of Large Language Models [Brown et al. NeurIPS 2020, Wei et al. TMLR 2022, Wei et al. NeurIPS 2022].
Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value
This paper presents an empirical performance analysis of three project scheduling algorithms dealing with maximizing projects' net present value with unrestricted resources.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
