Results 291 to 300 of about 2,493,519 (340)
Some of the next articles are maybe not open access.
How far we have come: testing decompilation correctness of C decompilers
International Symposium on Software Testing and Analysis, 2020A C decompiler converts an executable (the output from a C compiler) into source code. The recovered C source code, once recompiled, will produce an executable with the same functionality as the original executable. With over twenty years of development,
Zhibo Liu, Shuai Wang
semanticscholar +1 more source
Science, 1943
IN a revision of the proof a serious omission was made in the inadvertent dropping of "and 1 ml. of 0.1% CuSO 4 ⋅ 5H 2 O solution" after "Aliquots of 2.0 ml are mixed with 6 ml of clear 12.5 per cent Na 2 CO 3 solution" on p. 405.
M, Heidelberger, C F, Macpherson
openaire +2 more sources
IN a revision of the proof a serious omission was made in the inadvertent dropping of "and 1 ml. of 0.1% CuSO 4 ⋅ 5H 2 O solution" after "Aliquots of 2.0 ml are mixed with 6 ml of clear 12.5 per cent Na 2 CO 3 solution" on p. 405.
M, Heidelberger, C F, Macpherson
openaire +2 more sources
arXiv.org
Large language models (LLMs) are increasingly optimized for long reasoning, under the assumption that more reasoning leads to better performance. However, emerging evidence suggests that longer responses can sometimes degrade accuracy rather than improve
Jinyan Su +3 more
semanticscholar +1 more source
Large language models (LLMs) are increasingly optimized for long reasoning, under the assumption that more reasoning leads to better performance. However, emerging evidence suggests that longer responses can sometimes degrade accuracy rather than improve
Jinyan Su +3 more
semanticscholar +1 more source
Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
IEEE Transactions on Software EngineeringThe rise of Large Language Models (LLMs) has significantly advanced various applications on software engineering tasks, particularly in code generation. Despite the promising performance, LLMs are prone to generate hallucinations, which means LLMs might ...
Fang Liu +7 more
semanticscholar +1 more source
Calibration and Correctness of Language Models for Code
International Conference on Software EngineeringMachine learning models are widely used, but can also often be wrong. Users would benefit from a reliable indication of whether a given output from a given model should be trusted, so a rational decision can be made whether to use the output or not.
Claudio Spiess +7 more
semanticscholar +1 more source
Psychological Reports, 1999
This article is a comment on recent statements that the work of early IQ testers and other scientists has been distorted. It also argues that the Pioneer Fund, a major source of support for studies of racial differences, should release the full record of its grants to support statements made about the fund's purpose and history.
openaire +1 more source
This article is a comment on recent statements that the work of early IQ testers and other scientists has been distorted. It also argues that the Pioneer Fund, a major source of support for studies of racial differences, should release the full record of its grants to support statements made about the fund's purpose and history.
openaire +1 more source
Science, 1924
The article entitled "Gels and Theory of Adsorption" given in the December fourteenth issue of SCIENCE reads on page 496 as follows: pH < 1.217 pH > 1.217 but should read: pH > 1.217 pH < 1.217 In SCIENCE, 1924, p. 10, first column, line 2 up, for "eighteen" read "thirty-one."
N E, Gordon, F, Cajori
openaire +2 more sources
The article entitled "Gels and Theory of Adsorption" given in the December fourteenth issue of SCIENCE reads on page 496 as follows: pH < 1.217 pH > 1.217 but should read: pH > 1.217 pH < 1.217 In SCIENCE, 1924, p. 10, first column, line 2 up, for "eighteen" read "thirty-one."
N E, Gordon, F, Cajori
openaire +2 more sources
ConU: Conformal Uncertainty in Large Language Models with Correctness Coverage Guarantees
Conference on Empirical Methods in Natural Language ProcessingUncertainty quantification (UQ) in natural language generation (NLG) tasks remains an open challenge, exacerbated by the closed-source nature of the latest large language models (LLMs).
Zhiyuan Wang +8 more
semanticscholar +1 more source
Science, 1942
THE 1942 U.S.D.A. Yearbook, "Keeping Livestock Healthy," page 1096, fails to give proper credit to the research workers responsible for the experimental production of goiter in poultry. This was first accomplished in 1938 by A. R. Patton, H. S. Wilgus, Jr., and G. S. Harshfield (SCIENCE, 89: 162, 1939).
openaire +4 more sources
THE 1942 U.S.D.A. Yearbook, "Keeping Livestock Healthy," page 1096, fails to give proper credit to the research workers responsible for the experimental production of goiter in poultry. This was first accomplished in 1938 by A. R. Patton, H. S. Wilgus, Jr., and G. S. Harshfield (SCIENCE, 89: 162, 1939).
openaire +4 more sources
Science, 1922
IN a recently published volume on "The Origin of Submarine Canyons" the writer inadvertently credited to A. C. Veatch an excerpt from a submarine chart actually contoured by P. A. Smith, of the U. S. Coast and Geodetic Survey. The chart in question is Chart IVB of Special Paper No.
openaire +2 more sources
IN a recently published volume on "The Origin of Submarine Canyons" the writer inadvertently credited to A. C. Veatch an excerpt from a submarine chart actually contoured by P. A. Smith, of the U. S. Coast and Geodetic Survey. The chart in question is Chart IVB of Special Paper No.
openaire +2 more sources