New AI “copilot” helps engineers design better structures (يفتح في تبويب جديد)
- الكاتب
- Zach Winn | MIT News
The system asks humans for feedback to increase trust in machine-generated designs for buildings and bridges.
تابع أحدث التطورات والنماذج والأبحاث والأدوات والتقنيات في عالم الذكاء الاصطناعي من مصادرها الأصلية.
مرتبة حسب تاريخ النشر الأصلي. ابحث وصفِّ دون إعادة تحميل الصفحة.
The system asks humans for feedback to increase trust in machine-generated designs for buildings and bridges.
Model architecture shapes the scaling behavior, training efficiency, and inference cost of LLMs, making it a central focus of both industry and academia. In industry, teams such as those behind DeepSeek, Qwen, and Kimi routinely introduce architectural innovations, yet public reports rarely document which ideas succeeded, which were abandoned, and why. In academia, limited compute and inconsistent baselines often…
Institutional portfolios operate under investment policy statements that specify asset allocation constraints, often conditioned on market regime information. Deep reinforcement learning has been shown to optimize financial performance but typically does not enforce rule compliance, making it unsuitable for real-world deployment. Existing neurosymbolic methods such as Probabilistic Logic Policy Gradient (PLPG) offer…
Applying machine learning systems to new domains introduces bottlenecks in both labeled data acquisition and manual pipeline engineering. While recent MLE agents show promise in automating pipeline design, they have been studied almost exclusively in fully supervised settings, leaving them untested in realistic regimes where labeled data is scarce but unlabeled data is abundant. In this work, we introduce Agentic…
Humans can learn rapidly from limited experience, while neural networks typically require extensive training. In this work, we investigate what properties of a neural network can enable it to learn rapidly. We study neural networks that have been optimized via meta-learning, a technique that exposes a network to many related functions to facilitate its subsequent learning of similar functions. Prior work has shown…
Context attribution asks how removing parts of a prompt changes a language model's output. We study leave-one-out (LOO) attribution for a prompt of $n$ tokens and a fixed measurement function. Computing all LOO values directly requires $n$ model evaluations. Under a stability assumption, our algorithm estimates all LOO values to error proportional to $\varepsilon$ with constant probability using…
The short duration of general insurance contracts leads to rapid distributional shifts in the data, warranting regular model updates. This process may yield a post-update model that differs considerably from the pre-update model in both predictions and structure. Structural stability is upstream of predictive stability, yet existing structural stability metrics are mostly restricted to simple decision trees. Thus…
Debate has been recently proposed as a training protocol that is hoped to produce more aligned models even as model capabilities scale. The idea is that the human, instead of providing supervision in the form of labels, judges a debate between two models that compete to prove the correctness of opposite labels. It can be shown that functions of a much higher computational complexity can be correctly judged in this…
Local Binary Patterns (LBP) remain among the most widely used texture descriptors, from industrial inspection to medical imaging. Yet their radius, sampling angles, color transform and thresholds are fixed by hand for each dataset. We present FLEX-LBP, which learns these parameters by backpropagation while every forward pass computes exact binary codes and hard histogram counts. A straight-through estimator acts…
Reinforcement learning with verifiable rewards (RLVR) typically relies on a verifier that can reliably judge whether sampled solutions are correct. However, in many realistic settings, complete verification is generally unavailable, while cheap checks can only falsify failures. We formalize this regime as one-sided verifiability (OSV): verified negatives are reliable counterexamples, but verified positives are…
Large language models (LLMs) have recently demonstrated the ability to generate parameters for variational quantum circuits without conventional optimization. However, the conditions under which this approach is effective remain unclear. Here, we investigate a frozen, general-purpose LLM that generates complete circuit parameter vectors from symbolic circuit and Hamiltonian descriptions, with optional iterative…
Many hypotheses compete to explain the successes of knowledge distillation. To help address this, we propose and analyze a mathematical model of distillation, which suggests that distillation's performance comes not from obtaining better models but from easier to optimize landscapes. For generalized linear models trained with stochastic gradient descent, we prove that distillation fits performant student models…
من arXiv وHugging Face Papers، مع الملخص الأصلي ورابط PDF الرسمي عند توفره.
Frontier video generation models work in a VAE latent space that compresses video in both space and time. This compression made training tractable, but now limits high-resolution, controllable, and interactive generation -- doubling resolution quadruples token count, conditions apply to groups of frames rather than individual ones, and each response must wait for the rest of its multi-frame block. We present PixVid…
How multimodal language models should encode visual input remains up for debate. Most models use a pretrained vision encoder, while some recent recipes train the encoder from scratch with the language model or remove it entirely. Vision encoders bundle together three design choices: a visual prior from upstream pretraining, dedicated vision capacity, and pre-fusion placement of that capacity (i.e., before the…
Model architecture shapes the scaling behavior, training efficiency, and inference cost of LLMs, making it a central focus of both industry and academia. In industry, teams such as those behind DeepSeek, Qwen, and Kimi routinely introduce architectural innovations, yet public reports rarely document which ideas succeeded, which were abandoned, and why. In academia, limited compute and inconsistent baselines often…
Decoder-only Large View Synthesis Models (LVSMs) with KV-cache have recently achieved state-of-the-art quality by regressing novel views from neural networks without reconstructing 3D geometry, while Test-Time Training (TTT) layers save computation but sacrifice quality. We propose Test-Time Baking (TTB), a strategy that learns to bake global scene information from cross-view attention into a lightweight MLP…
Vision language navigation (VLN) is very challenging for Unmanned Aerial Vehicles (UAVs) since small errors in 3D motion prediction can lead to navigation errors and collisions. Unable to fathom execution outcomes in 3D environments, existing methods often struggle to predict accurate navigation waypoints from language instructions. To solve this, we introduce the Prototypical Visual Imagination framework, shortened…
Institutional portfolios operate under investment policy statements that specify asset allocation constraints, often conditioned on market regime information. Deep reinforcement learning has been shown to optimize financial performance but typically does not enforce rule compliance, making it unsuitable for real-world deployment. Existing neurosymbolic methods such as Probabilistic Logic Policy Gradient (PLPG) offer…
نماذج من Hugging Face مع الجهة المطوِّرة والمهمة.
مستودعات وإصدارات مفتوحة المصدر من GitHub.
Arabic-aware RAG over a real, public SQU document: from-scratch normalisation + Light10 light stemming, measured against naive token matching with the same BM25 index -- 0.792 vs 0.048 recall@5. Animated web UI recorded live.
Chat in Arabic with Salah al-Din and Muhammad Ali Pasha as 3D talking avatars: RAG over Wikipedia, free Groq LLM, Edge TTS and Arabic viseme lip sync (FastAPI + Docker).
Karpathy's tiny GPT trained on pre-Islamic Arabic poetry, compared with Shakespeare.
langchain-typesafe 0.1.0 drops support for Python 3.10, which has reached end-of-life. The minimum supported version is now Python 3.11, and the minimum langchain-core version is now 1.8.0 (langchain 1.5.0 for the experimental extra). Users on Python 3.10 will continue to resolve langchain-typesafe 0.0.x. Changes since langchain-typesafe==0.0.2 release(typesafe): 0.1.0 (#41800) refactor(typesafe): deprecate…
langchain 1.5.0 drops support for Python 3.10, which has reached end-of-life. The minimum supported version is now Python 3.11, and the minimum langchain-core version is now 1.8.0. Users on Python 3.10 will continue to resolve langchain 1.4.x. Changes since langchain==1.4.10 release(langchain): 1.5.0 (#41798) fix(langchain): mark ModelRouterMiddleware as beta (#41797) feat(langchain): Remove EOL'd Python 3.10 from…
langchain-core 1.8.0 drops support for Python 3.10, which has reached end-of-life. The minimum supported version is now Python 3.11. Users on Python 3.10 will continue to resolve langchain-core 1.7.x. Changes since langchain-core==1.7.7 release(core): 1.8.0 (#41796) feat(core): Remove EOL Python 3.10 support (#41267) feat(core): add decision models (#41765)
قد يخطئ المساعد أحياناً، فراجع المصادر المرفقة.
مرحباً بك! أنا الدكتور علاء طعيمة، وهذا مساعدي الذكي. اسأله عن أي موضوع في الذكاء الاصطناعي، وسيجيبك من محتوى الموقع مع المصادر.
Enter للإرسال · Shift + Enter لسطر جديد · قد يخطئ المساعد أحياناً، فراجع المصادر.