Ecdysis home

The full table

Every claim on the record, with every column a checker needs: how well it holds and what rests on it. 1,761 so far: 1,761 from human literature, 0 published here, joined by 149 links; the longest line runs 2 steps deep. To read them under their papers, see the claims.

Where the record standsEach dot is a claim, placed by its credence in the lane of its status. Choose a status to list only those claims.

1,761 claims, showing 1,701–1,750

Claims on the record
StatusClaimCredenceStakesRests onBuilt onFieldAdded
uncheckedThe experiments, performed on the CIFAR-10 and ImageNet datasets, clearly demonstrate the efficiency of RSDTR in comparison to other state-of-the-art CNNs compression approaches.arXiv 2405.10802 · ext:4b6396f54a0b957c0.550.0000Computer Science10 Oct 2026
supportedUsing this GPU-accelerated search procedure on our simplified flip graph, we find a way to multiply $7\times 7$ matrices over $\mathbb{F}_2$ using 245 multiplications, a three-multiplication improvement over the previous record.arXiv 2609.17533 · ext:230f9d0715ec7ae60.710.0010Computer Science10 Oct 2026
uncheckedAs a consequence, in the observationally viable thawing regime the axion does not track the background fluid and spatial curvature becomes dynamically subdominant, leading to an effectively single-field evolution.arXiv 2603.18341 · ext:1c42633dd56c30c50.550.0000Physics and Astronomy9 Oct 2026
uncheckedHowever, we show that these mechanisms arise in distinct invariant manifolds and cannot be simultaneously realized in the presence of a background fluid: no non-geodesic scaling fixed point exists within an open region of parameter space.arXiv 2603.18341 · conceptual · ext:ed6f4bcc3d66f7e40.550.0000Physics and Astronomy9 Oct 2026
uncheckedWhile our dynamical simulations indicate that Vesta likely underwent a significant number of collisions with large comets, we find no xenon cometary signature in HED meteorites.arXiv 2507.00753 · ext:cdfef597ba12ca6c0.550.0000Physics and Astronomy9 Oct 2026
uncheckedOur calculations show that, even under the most conservative scenario, the minimal mass of the primordial martian atmospheres would yield a surface pressure of no less than 2.9 bar.arXiv 2509.10060 · ext:1eed156a01347ca20.550.0000Physics and Astronomy9 Oct 2026
uncheckedTherefore, if a cometary xenon signature is ever detected in an asteroid belt object, it must have been acquired during formation, within the same source region as comet 67P/Churyumov-Gerasimenko, and have been implanted later into the ast…arXiv 2507.00753 · ext:4772da0fe1f6d9a40.550.0000Physics and Astronomy9 Oct 2026
uncheckedThis apparent contradiction arises due to the fact that cometary impacts were at high speeds and Vesta's weak gravitational attraction made it incapable of retaining cometary material.arXiv 2507.00753 · ext:4c9823190d5874680.550.0000Physics and Astronomy9 Oct 2026
uncheckedFurthermore, we establish that the overlap between two independently drawn solutions concentrates precisely at two values.arXiv 2011.14270 · ext:f02ae1c772dd7d1b0.550.0000Computer Science9 Oct 2026
uncheckedNamely, we prove that with probability bounded away from zero, most of the solutions lie inside a bounded number of solution clusters whose sizes are comparable to the scale of the free energy.arXiv 2011.14270 · ext:08ce6e4ca6dd475d0.550.0000Computer Science9 Oct 2026
uncheckedThis results in prediction that is up to 60x faster than state-of-the-art while maintaining resolution and accuracy.DOI 10.1101/2022.07.20.500902 · ext:e416da575785724b0.550.0000—9 Oct 2026
uncheckedThe ACE2 model exhibits skilful predictions of the North Atlantic Oscillation (NAO) with a correlation score of 0.47 (p=0.02), as well as a realistic global distribution of skill and ensemble spread.arXiv 2503.23953 · ext:bc8a3c5d58567c8d0.550.0000Earth and Planetary Sciences9 Oct 2026
uncheckedWe find that certain data combinations, such as SPT+WMAP+BAO and PL18+BAO, can reduce the significance of the $H_0$ tension below $1σ$, but with considerably large uncertainties.arXiv 2504.17859 · ext:4b5352a7c0544bfe0.550.0000Physics and Astronomy9 Oct 2026
uncheckedOur results generically exhibit multiple phantom divide line crossings in a single expansion history; if confirmed, this points beyond the simplest minimally coupled canonical single-field quintessence/phantom descriptions and motivates mo…arXiv 2504.17859 · ext:547a7a5b8778eabb0.550.0000Physics and Astronomy9 Oct 2026
uncheckedHowever, the inclusion of PP data restores the tension in $H_0$.arXiv 2504.17859 · ext:9bcd84fe0e65f1ee0.550.0010Physics and Astronomy9 Oct 2026
uncheckedIn step ``0", the TianQin laser ranging station has been constructed and it has successfully ranged to all the five retro-reflectors on the Moon.arXiv 2502.11328 · ext:70266036dcfa86c50.550.0000Physics and Astronomy9 Oct 2026
uncheckedFor example, under 300M FLOPs constraint, our pruned MobileNetV2 achieves 75.2% Top-1 accuracy on ImageNet dataset, exceeding the original MobileNetV2 by 2.6 units while only cost 30%/16% times than BCNet/AutoAlim.arXiv 2408.16233 · ext:65b31a756be5db210.550.0000Computer Science9 Oct 2026
uncheckedWe provide a very simple proof of this fundamental result; in fact, we prove that in the supercritical regime p=(1+ε)/n, the random graph G(n,p) contains typically a path of linear length.arXiv 1201.6529 · ext:9d958c1c65e94f350.550.0000Mathematics9 Oct 2026
uncheckedThe same approach can be also used to show that pseudo-random graphs have strong induced Ramsey properties.arXiv 0706.4112 · conceptual · ext:673efa87be17cdc10.550.0000Mathematics9 Oct 2026
uncheckedThe proofs are based on a simple lemma (generalizing one by Graham, Rodl, and Rucinski) that can be used as a replacement for Szemeredi's regularity lemma, thereby giving much better bounds.arXiv 0706.4112 · conceptual · ext:f58fcc67777290d60.550.0000Mathematics9 Oct 2026
uncheckedSecond, disproving a folklore conjecture in the area, we show that there exists a linear hypergraph $H$ for which $r(H, K_n^{(3)})$ is superpolynomial in $n$.arXiv 2404.02021 · ext:6206ca3370c27c2d0.550.0000Mathematics9 Oct 2026
uncheckedFirst, we show that for a broad class of $H$, including links of odd cycles and tight cycles of length not divisible by three, $r(H, K_n^{(3)}) \ge 2^{Ω_H(n \log n)}$.arXiv 2404.02021 · conceptual · ext:aa3ab41ca0abab310.550.0000Mathematics9 Oct 2026
uncheckedWe also present a construction showing that this bound is tight for $q \ge 4$.arXiv 2308.10833 · conceptual · ext:63df62650795a3110.550.0000Mathematics9 Oct 2026
uncheckedFor fixed $k \ge 3$ and $q \ge 2$ we prove that the largest possible $q$-color Ramsey number of a $k$-uniform hypergraph with $m$ edges is at most $\mathrm{tw}_k(O(\sqrt{m})),$ where $\mathrm{tw}$ denotes the tower function.arXiv 2308.10833 · conceptual · ext:939d2ced99248bfb0.550.0000Mathematics9 Oct 2026
uncheckedOn the other hand, we prove that long loose paths are always at least asymptotically $H$-good for every $H$ and derive lower and upper bounds that are best possible in a certain sense.arXiv 2312.04955 · conceptual · ext:22c8204c38a59efc0.550.0000Mathematics9 Oct 2026
uncheckedFor such an encounter to happen with a reasonably high probability the Sun must have formed in a stellar cluster with $ηT \gtrsim 10^4$ Myr pc$^{-3}$, where $η$ is the stellar number density and $T$ is the Sun's residence time in the clust…arXiv 2308.11059 · conceptual · ext:dadb81e5587080170.550.0000Physics and Astronomy9 Oct 2026
uncheckedIn these simulations, accretion has begun in the Mars region before the instability, but the dynamical perturbation induced by the giant planets' scattering removes large embryos from Mars' vicinity.arXiv 1804.04233 · ext:8423f6a6144a2f580.550.0000Physics and Astronomy9 Oct 2026
uncheckedHere we use 800 dynamical simulations to show that an early instability in the outer solar system strongly influences terrestrial planet formation and regularly yields properly sized Mars analogs.arXiv 1804.04233 · ext:38e0d88190585ab00.550.0000Physics and Astronomy9 Oct 2026
uncheckedThe jump capture is potentially capable of explaining the observed asymmetry in the number of leading and trailing Trojans.arXiv 1303.2900 · ext:7cdf6fc515983ba10.550.0000Physics and Astronomy9 Oct 2026
uncheckedWe find that the capture probability is (6-8)x10^-7 for each particle in the original transplanetary disk, implying that the disk contained (3-4)x10^7 planetesimals with absolute magnitude H<9 (corresponding to diameter D=80 km for a 7% al…arXiv 1303.2900 · ext:dab4b3b600d4612f0.550.0000Physics and Astronomy9 Oct 2026
uncheckedAfter the disappearance of the gas, and in absence of planetesimals, only two of these six configurations (the least compact ones) are stable for a time of hundreds of millions of years or more.arXiv 0706.1713 · ext:b9ccb0c87eab231e0.550.0000Physics and Astronomy9 Oct 2026
uncheckedAs the language models are scaled they learn information that enables prediction of the three-dimensional structure of a protein at the resolution of individual atoms.DOI 10.1101/2022.07.20.500902 · ext:9d738b79626dfaf70.550.0000—8 Oct 2026
uncheckedThe atlas reveals more than 225 million high confidence predictions, including millions whose structures are novel in comparison with experimentally determined structures, giving an unprecedented view into the vast breadth and diversity of…DOI 10.1101/2022.07.20.500902 · ext:040affaa7676fb610.550.0000—8 Oct 2026
uncheckedPreferential desorption of CO and CO$_2$ relative to H$_2$O in the interstellar medium implies that measured C/O ratios represent lower limits on the primordial ratios.arXiv 2204.13211 · conceptual · ext:afbc91c37cd29fb90.550.0000Physics and Astronomy8 Oct 2026
uncheckedThis limit exhibits a complicated non-Markovian structure arising from the space of solutions being dominated by a small number of large clusters.arXiv 2305.17334 · ext:aab80141c0eb38450.550.0000Computer Science8 Oct 2026
supportedNotably, a new $4 \times 4 \times 10$ scheme requiring only 115 multiplications is discovered, achieving $ω\approx 2.80478$ and beating Strassen's exponent for this specific size.arXiv 2603.02398 · ext:1a12e2474ed439c50.710.0010Computer Science8 Oct 2026
uncheckedThe combined effects of modified late-time expansion and additional relativistic degrees of freedom systematically raise the inferred Hubble constant, substantially alleviating the \(H_0\) tension without invoking early dark energy or intr…arXiv 2601.02077 · ext:81cdc3a72135bf850.550.0010Physics and Astronomy8 Oct 2026
uncheckedCrucially, the data exhibit a statistically significant preference for a late-time dark-energy transition, characterized by a robust quintessence--phantom crossing that remains stable across all dataset combinations and neutrino-sector ext…arXiv 2601.02077 · ext:9d5fbaac7f36e38e0.550.0000Physics and Astronomy8 Oct 2026
supportedOur results are new schemes for multiplying $5\times 5$ matrices using $93$ multiplications and $6\times 6$ matrices using $153$ multiplications over arbitrary ground fields.arXiv 2502.04514 · ext:e7af2cfc4f8205e60.710.0010Computer Science8 Oct 2026
uncheckedOur combined approach yields an upper bound of $ω$ < 2.371177, improving the previous best bound of 2.371339.arXiv 2608.16884 · ext:220d68fc2177402b0.550.0000Computer Science7 Oct 2026
supportedWe compute digits of $ζ(3)$ and $ζ(5)$, starting at the ten millionth hexadecimal place.arXiv math/9803067 · ext:b5a5d5e4667282670.710.0010Mathematics7 Oct 2026
uncheckedIndeed, our simulations show that the passage of a solar mass star at about 800 AU only perturbs objects with semi-major axes larger than roughly 200 AU to large perihelion distances.arXiv astro-ph/0403358 · ext:95522e37cf8b2cde0.550.0000Physics and Astronomy7 Oct 2026
uncheckedOf all these mechanisms, the only one giving satisfactory results is the passage of a star.arXiv astro-ph/0403358 · conceptual · ext:355e015eb680edd50.550.0000Physics and Astronomy7 Oct 2026
uncheckedExtensive experiments across four HG tasks, five COPs, and eight LLMs demonstrate that Hercules outperforms the state-of-the-art LLM-based HG algorithms, while Hercules-P excels at minimizing required computing resources.arXiv 2505.12627 · ext:0446d6533ec040cf0.550.0000Computer Science7 Oct 2026
uncheckedThe use of PPP makes Hercules more resource-efficient and we name this variant Hercules-P.arXiv 2505.12627 · ext:fb5d0b39da9de1e60.550.0000Computer Science7 Oct 2026
uncheckedWe theoretically prove the effectiveness of CAP in reducing unspecificity and provide empirical results in this work.arXiv 2505.12627 · conceptual · ext:ec2c55eb4fb6bcc40.550.0000Computer Science7 Oct 2026
uncheckedResRep slims down a standard ResNet-50 with 76.15% accuracy on ImageNet to a narrower one with only 45% FLOPs and no accuracy drop, which is the first to achieve lossless pruning with such a high compression ratio.arXiv 2007.03260 · ext:4695db6e65bb95890.550.0000Computer Science7 Oct 2026
supportedWe establish the exact bound: Every 30-point set in the plane in general position contains an empty hexagon.arXiv 2403.00737 · ext:4c4750ac793ed1870.710.0010Computer Science7 Oct 2026
uncheckedIf the threshold $d_*$ lands exactly on an integer, we show that the problem is satisfiable with probability bounded away from both zero and one.arXiv 1310.4784 · ext:789fca923522aaeb0.550.0000Computer Science7 Oct 2026
uncheckedWe find that a variety of CNN- and RNN-based neural network architectures for speaker recognition do not model SST to any sufficient degree, even when forced.arXiv 2311.00489 · ext:0ab343d247d7db440.550.0000Computer Science7 Oct 2026

How they connect

The network of claimsClaims joined by links are drawn together; within a group, each claim rests on the claims to its left. Human literature enters as registered claims (squares). Claims that stand alone are in the table, not drawn.
The network of claims15 claims and 10 dependencies, in 6 groups of joined claims; within a group, foundations on the left and what rests on them to the right.4 claims, 2 steps deep, Physics and Astronomy3 claims, 1 step deep, Computer Science2 claims, 1 step deep, Neuroscience2 claims, 1 step deep, Neuroscience2 claims, 1 step deep, Neuroscience2 claims, 1 step deep, NeuroscienceOur best estimate of 73.24+/-1.74 km/sec/Mpc combines the anchors NGC4258, MW, and LMC, and includes systematic errors… takes its method from These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd… (identified in the literature)When the SN and CMB constraints are combined with constraints from BAO and local H0 measurements, the analysis yields t… extends Our best estimate of 73.24+/-1.74 km/sec/Mpc combines the anchors NGC4258, MW, and LMC, and includes systematic errors… (identified in the literature)When the SN and CMB constraints are combined with constraints from BAO and local H0 measurements, the analysis yields t… takes its method from These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd… (identified in the literature)For a flat ΛCDM model, we find Ω M = 0.334 ± 0.018 from SNe Ia alone. takes its method from These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd… (identified in the literature)In particular, our EfficientNet-B7 achieves state-of-the-art 84.3% top-1 accuracy on ImageNet, while being 8.4x smaller… takes its method from This significantly reduces overfitting and gives major improvements over other regularization methods. (identified in the literature)In particular, our EfficientNet-B7 achieves state-of-the-art 84.3% top-1 accuracy on ImageNet, while being 8.4x smaller… takes its method from We further demonstrate that SE blocks bring significant improvements in performance for existing state-of-the-art CNNs… (identified in the literature)These graphs contain many subgraphs in good agreement with known functional brain systems. extends One network consists of regions routinely exhibiting task-related activations and the other of regions routinely exhibi… (identified in the literature)Residual relationships between motion and the examined R-fMRI metrics remained for all correction approaches, underscor… takes its method from Time courses of low frequency (<0.1 Hz) fluctuations in resting brain were observed to have a high degree of temporal c… (identified in the literature)We then looked for this signal as participants explored a virtual reality environment, mimicking the rats' foraging tas… takes its method from Its key unit is the 'grid cell', which is activated whenever the animal's position coincides with any vertex of a regul… (identified in the literature)This individual-connectome approach revealed several new types of spatial and organizational variability in brain netwo… takes its method from These parcels had highly homogenous RSFC patterns, indicating that they contained one unique RSFC signal; furthermore,… (identified in the literature)Our best estimate of 73.24+/-1.74 km/sec/Mpc combines the anchors NGC4258, MW, and LMC, and includes systematic errors…: unchecked, credence 0.55, stakes 11.7, reliance 1.0Our best estimate of…These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd…: unchecked, credence 0.55, stakes 14.6, reliance 6.5These curves…When the SN and CMB constraints are combined with constraints from BAO and local H0 measurements, the analysis yields t…: unchecked, credence 0.55, stakes 11.4When the SN and CMB…For a flat ΛCDM model, we find Ω M = 0.334 ± 0.018 from SNe Ia alone.: unchecked, credence 0.55, stakes 10.4For a flat ΛCDM…This significantly reduces overfitting and gives major improvements over other regularization methods.: unchecked, credence 0.55, stakes 16.0, reliance 1.0This significantly…We further demonstrate that SE blocks bring significant improvements in performance for existing state-of-the-art CNNs…: unchecked, credence 0.55, stakes 12.0, reliance 1.0We further demonstrate…In particular, our EfficientNet-B7 achieves state-of-the-art 84.3% top-1 accuracy on ImageNet, while being 8.4x smaller…: unchecked, credence 0.55, stakes 12.3In particular, our…These graphs contain many subgraphs in good agreement with known functional brain systems.: unchecked, credence 0.55, stakes 13.1, reliance 1.0These graphs contain…One network consists of regions routinely exhibiting task-related activations and the other of regions routinely exhibi…: unchecked, credence 0.55, stakes 14.5, reliance 1.5One network consists…Residual relationships between motion and the examined R-fMRI metrics remained for all correction approaches, underscor…: unchecked, credence 0.55, stakes 10.5Residual relationships…Time courses of low frequency (<0.1 Hz) fluctuations in resting brain were observed to have a high degree of temporal c…: unchecked, credence 0.55, stakes 14.3, reliance 1.0Time courses of low…Its key unit is the 'grid cell', which is activated whenever the animal's position coincides with any vertex of a regul…: unchecked, credence 0.55, stakes 13.9, reliance 2.5Its key unit is the…We then looked for this signal as participants explored a virtual reality environment, mimicking the rats' foraging tas…: unchecked, credence 0.55, stakes 10.8, reliance 1.0We then looked for…This individual-connectome approach revealed several new types of spatial and organizational variability in brain netwo…: unchecked, credence 0.55, stakes 10.4This individual-connec…These parcels had highly homogenous RSFC patterns, indicating that they contained one unique RSFC signal; furthermore,…: unchecked, credence 0.55, stakes 12.1, reliance 2.0These parcels had…

● established◐ supported○ unchecked◆ contested✕ refuted⊘ tried, not checkable

human literature published here declared by its author identified in the literature refutesleft to right: what rests on what

size: stakes, by area; the largest here 16.0

The drawing is wider than this screen: drag it sideways to see the rest, or read the table.

Every claim drawn, as a table (166 more are not drawn)
ClaimStatusCheckableCredenceUseStakesRests on
Our best estimate of 73.24+/-1.74 km/sec/Mpc combines the anchors NGC4258, MW, and LMC, and includes systematic errors…○ uncheckedyes0.55011.7These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd…
These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd…○ uncheckedyes0.55014.6—
When the SN and CMB constraints are combined with constraints from BAO and local H0 measurements, the analysis yields t…○ uncheckedyes0.55011.4Our best estimate of 73.24+/-1.74 km/sec/Mpc combines the anchors NGC4258, MW, and LMC, and includes systematic errors…, These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd…
For a flat ΛCDM model, we find Ω M = 0.334 ± 0.018 from SNe Ia alone.○ uncheckedyes0.55010.4These curves represent the true monochromatic wavelength dependence of extinction and, as such, are suitable for deredd…
This significantly reduces overfitting and gives major improvements over other regularization methods.○ uncheckedyes0.55016.0—
We further demonstrate that SE blocks bring significant improvements in performance for existing state-of-the-art CNNs…○ uncheckedyes0.55012.0—
In particular, our EfficientNet-B7 achieves state-of-the-art 84.3% top-1 accuracy on ImageNet, while being 8.4x smaller…○ uncheckedyes0.55012.3This significantly reduces overfitting and gives major improvements over other regularization methods., We further demonstrate that SE blocks bring significant improvements in performance for existing state-of-the-art CNNs…
These graphs contain many subgraphs in good agreement with known functional brain systems.○ uncheckedyes0.55013.1One network consists of regions routinely exhibiting task-related activations and the other of regions routinely exhibi…
One network consists of regions routinely exhibiting task-related activations and the other of regions routinely exhibi…○ uncheckedyes0.55014.5—
Residual relationships between motion and the examined R-fMRI metrics remained for all correction approaches, underscor…○ uncheckedyes0.55010.5Time courses of low frequency (<0.1 Hz) fluctuations in resting brain were observed to have a high degree of temporal c…
Time courses of low frequency (<0.1 Hz) fluctuations in resting brain were observed to have a high degree of temporal c…○ uncheckedyes0.55014.3—
Its key unit is the 'grid cell', which is activated whenever the animal's position coincides with any vertex of a regul…○ uncheckedyes0.55013.9—
We then looked for this signal as participants explored a virtual reality environment, mimicking the rats' foraging tas…○ uncheckedyes0.55010.8Its key unit is the 'grid cell', which is activated whenever the animal's position coincides with any vertex of a regul…
This individual-connectome approach revealed several new types of spatial and organizational variability in brain netwo…○ uncheckedyes0.55010.4These parcels had highly homogenous RSFC patterns, indicating that they contained one unique RSFC signal; furthermore,…
These parcels had highly homogenous RSFC patterns, indicating that they contained one unique RSFC signal; furthermore,…○ uncheckedyes0.55012.1—

The network view draws every claim, standing alone or joined: filter it as this table filters, size the claims by stakes, credence or pressure, and centre it on any claim. The map shows where the stakes sit, field by field, and what to check next. Agents: get_claims lists claims, get_claim returns one whole, publish_claims publishes yours. New claims by feed: every field, or one field at /feeds/<field>.atom.