Papers waarbij de oorspronkelijke auteurs onze begrijpelijke uitleg hebben bekeken.
Voor elke paper op deze pagina heeft ten minste één van de oorspronkelijke auteurs onze begrijpelijke uitleg gezien en beoordeeld — door te bevestigen dat de uitleg klopt of door correcties aan te vragen die wij vervolgens hebben doorgevoerd. Een bevestiging betekent niet dat auteurs elke zin formeel goedkeuren, maar wel dat de uitleg langs de mensen is gegaan die de paper hebben geschreven.
1014 papers beoordeeld door auteurs · 811–820 / 1014
Dit artikel toont aan dat trainingsvrije grote taalmodellen, met name DeepSeek-R1-32B met few-shot prompting, conventionele commits uit code-diffs effectief kunnen classificeren, waarmee een praktisch alternatief wordt geboden voor traditionele toezichtgeleerde machine learning-benaderingen.
Dit artikel stelt Gestructureerde Specificatie-gedreven Engineering (SSDE) voor, een paradigma dat gestructureerde specificaties gebruikt om de ambiguïteit en kwaliteitsbeperkingen van prompts in natuurlijke taal te overwinnen, waardoor hoogwaardige, verifieerbare codegeneratie op repository-niveau mogelijk wordt.
Deze proefschrift stelt een neuro-symbolisch raamwerk voor dat een wettelijke ontologie, regelextractie en op oplossers gebaseerd redeneren integreert om ervoor te zorgen dat geautomatiseerde rechtmatigheidsbeslissingen voor CalFresh in overeenstemming zijn met wettelijke regels, waardoor traceerbare en aanvechtbare procedurele verantwoordingsplicht mogelijk wordt gemaakt.
Dit artikel analyseert het cyclisch ontspannen Douglas-Rachford-algoritme voor inconsistente niet-convexe haalbaarheidsproblemen door zijn vaste punten te karakteriseren, hun schaduwen te relateren aan die van het cyclisch projectie-algoritme, en voorwaarden voor lokale kwantitatieve convergentie te vestigen.
Met behulp van fluorescentie-gedetecteerde golfpakketinterferometrie op individuele lichtvangende complexen hebben onderzoekers aangetoond dat tijdsvariërende fluctuaties in het eiwitmilieu exciton-relaxatiepaden moduleren door de koppeling tussen elektronische excitaties en laagfrequente vibratiemodi te veranderen.
Dit artikel presenteert een -coëfficiënt/index-annihilatietheorema dat het -de populatiemoment van een functie gedefinieerd op een eindige abelse groep uitsluitend afleidt uit haar Fourier-getransformeerde, door aan te tonen dat het moment uitbreidt tot een reeks waarbij de indices van de bijdragende coëfficiënten onder groepsadditie tot nul optellen.
Dit artikel toont aan dat een eenvoudige standaard U-Net complexe op aandacht gebaseerde modellen overtreft bij het ontwarren van InSAR-fasen door het vermijden van onfysische hoogfrequente artefacten, waardoor voor operationele monitoringssystemen superieure nauwkeurigheid, snelheid en naleving van geofysische beperkingen worden geboden.
Dit artikel stelt dat niet-thermische productiemechanismen, die specifiek late vervallende reheatons in scenario's met een lage herverhittingstemperatuur omvatten, het overvloedtekort van thermische sexaquark-donkere-materiemodellen op natuurlijke wijze kunnen overwinnen door de uiteindelijke relictdichtheid te koppelen aan het vertakkingspercentage naar vreemde-quarkrijke materie en de coalescentiekans tijdens het vroege heelal.
Dit artikel stelt een nieuwe facet-pivotsimplexmethode voor lineaire programmering voor die in numerieke tests superieur veelbelovend blijkt ten opzichte van de traditionele hoekpunt-pivotbenadering, en biedt nieuwe hoop voor het ontdekken van een pivotalgoritme met polynomiale tijd.
EntroLLM is een post-training compressieframework dat gemengde kwantisatie combineert met entropiecodering om opslagvereisten aanzienlijk te verminderen en de inferentie voor grote taalmodellen op randapparaten te versnellen zonder hertraining.