research-tools
Latest stories covering research-tools, with summaries and links to related coverage.
2 articles · page 1 of 1
Connected topics
TheoremDB – A public workspace for machine mathematics
research
15 min read
TheoremDB is a public workspace designed for machine mathematics, currently in alpha. It allows live contributions, including Lean proof submissions, and aims to reduce redundancy in research efforts.
Medical students are using popular research tool to pump out misleading studies
research
7 min read
Medical students are increasingly using TriNetX, a research platform providing access to anonymized electronic health records for over 300 million patients, to produce studies. Concerns have arisen regarding the quality and reliability of these studies, with many being labeled as misleading.